]>
2012-05-03 | Andrea Asperti | prod fin set | blob | commitdiff | raw |
2012-05-03 | Andrea Asperti | bool and segments of natural numbers | blob | commitdiff | raw | diff to current |
2012-04-27 | Andrea Asperti | Extensions to finset (sum) and auxiliary lemmas. | blob | commitdiff | raw | diff to current |
2012-04-04 | Andrea Asperti | Added in basics | blob | commitdiff | raw | diff to current |