| Tue, 01 Mar 2022 15:05:27 +0000 | paulson | Added some theorems (from Wetzel) | file | diff | annotate |
| Fri, 15 Oct 2021 12:42:51 +0100 | paulson | A few new lemmas plus some refinements | file | diff | annotate |
| Mon, 28 Jun 2021 15:05:46 +0100 | paulson | A few useful lemmas about derivatives, colinearity and other topics | file | diff | annotate |