| Mon, 05 Sep 2022 16:39:23 +0200 | haftmann | clarified generic euclidean relation | file | diff | annotate |
| Sun, 21 Aug 2022 06:18:23 +0000 | haftmann | streamlined | file | diff | annotate |
| Sun, 21 Aug 2022 06:18:23 +0000 | haftmann | simplified computation algorithm construction | file | diff | annotate |
| Fri, 19 Aug 2022 05:49:17 +0000 | haftmann | tuned type signature | file | diff | annotate |
| Fri, 19 Aug 2022 05:49:16 +0000 | haftmann | tuned type signature | file | diff | annotate |
| Fri, 19 Aug 2022 05:49:12 +0000 | haftmann | streamlined theorems | file | diff | annotate |