chore: Refactorings for elementary number theory#1048
Closed
fredrik-bakke wants to merge 11 commits intoUniMath:masterfrom fredrik-bakke:refactor-numbers
+962-1,599
Commits
Commits on Feb 28, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 29, 2024
- committed
- committed