| Wed, 19 Apr 2023 18:21:30 +0000 | haftmann | clarified terminology | file | diff | annotate |
| Thu, 06 Oct 2022 14:16:39 +0000 | haftmann | euclidean division on gaussian numbers | file | diff | annotate |
| Thu, 06 Oct 2022 13:41:59 +0000 | haftmann | tuned proof | file | diff | annotate |