chore(Algebra/Order/Monoid/Unbundled/Basic): golfing + formatting#38227
Open
vihdzp wants to merge 3 commits intoleanprover-community:masterfrom
Open
chore(Algebra/Order/Monoid/Unbundled/Basic): golfing + formatting#38227vihdzp wants to merge 3 commits intoleanprover-community:masterfrom
vihdzp wants to merge 3 commits intoleanprover-community:masterfrom
Commits
Commits on Apr 19, 2026
- committed
- committed
- committed
