| Thu, 29 Oct 2015 15:40:52 +0100 | eberlm | added many small lemmas about setsum/setprod/powr/... | file | diff | annotate |
| Fri, 09 Oct 2015 20:26:03 +0200 | wenzelm | discontinued specific HTML syntax; | file | diff | annotate |
| Mon, 21 Sep 2015 19:52:13 +0100 | paulson | new lemmas and movement of lemmas into place | file | diff | annotate |