Refactor the algebraic theory of groups#1911
Draft
lowasser wants to merge 27 commits intoUniMath:masterfrom
Draft
Refactor the algebraic theory of groups#1911lowasser wants to merge 27 commits intoUniMath:masterfrom
lowasser wants to merge 27 commits intoUniMath:masterfrom
Commits
Commits on Mar 16, 2026
- committed
- committed
Commits on Mar 19, 2026
Commits on Mar 20, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 21, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed