Substrate
More
#group-theory #equivalence #monoid
