Add properties of non-divisibility to Algebra.Properties.Magma.Divisibility#2469
Merged
MatthewDaggitt merged 6 commits intoagda:masterfrom Sep 8, 2024
Commits
Commits on Aug 31, 2024
- committed
- committed
