| Tue, 11 Apr 2023 11:59:06 +0000 | haftmann | some remarks on division | file | diff | annotate |
| Tue, 24 Jan 2023 10:30:56 +0000 | haftmann | generalized theory name: euclidean division denotes one particular division definition on integers | file | diff | annotate | base |