Sat, 16 Sep 2023 06:38:44 +0000 | haftmann | new formulation of an auxiliary lemma | file | diff | annotate |
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 |