| Sun, 09 Oct 2022 16:24:50 +0200 | desharna | added lemmas antisym_if_asym and antisymp_if_asymp | changeset | files |
| Sun, 09 Oct 2022 16:10:52 +0200 | desharna | strengthened lemma total_on_singleton and added lemma totalp_on_singleton | changeset | files |
| Sat, 08 Oct 2022 18:35:53 +0200 | nipkow | generalized type classes as suggested by Jeremy Sylvestre | changeset | files |
| Thu, 06 Oct 2022 14:16:39 +0000 | haftmann | euclidean division on gaussian numbers | changeset | files |
| Thu, 06 Oct 2022 13:41:59 +0000 | haftmann | tuned proof | changeset | files |
| Tue, 04 Oct 2022 09:12:42 +0000 | haftmann | note on signed division on words | changeset | files |