| Thu, 06 Oct 2022 14:16:39 +0000 | haftmann | euclidean division on gaussian numbers | file | diff | annotate |
| Tue, 04 Oct 2022 09:12:41 +0000 | haftmann | tuned definition | file | diff | annotate |
| Tue, 04 Oct 2022 09:12:39 +0000 | haftmann | spelling | file | diff | annotate |
| Wed, 14 Sep 2022 09:15:00 +0000 | haftmann | More on division concerning gauss numbers. | file | diff | annotate |