Add IsIdempotentMonoid and IsCommutativeBand to Algebra.Structures#2402
Merged
JacquesCarette merged 11 commits intoagda:masterfrom Jun 7, 2024
Merged
Add `IsIdempotentMonoid` and `IsCommutativeBand` to `Algebra.Structures`#2402JacquesCarette merged 11 commits intoagda:masterfrom
JacquesCarette merged 11 commits intoagda:masterfrom
Commits
Commits on Jun 5, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
