Add IsIdempotentMonoid
and IsCommutativeBand
to Algebra.Structures
#2402
This job succeeded
Loading
IsIdempotentMonoid
and IsCommutativeBand
to Algebra.Structures
#2402