Feature request: when does a monoid come from a semigroup? #1
Description
As per our recent discussion 😄 add a boolean for each monoid determining whether it is obtained from a semigroup by adjoining an identity element
{{ message }}
As per our recent discussion 😄 add a boolean for each monoid determining whether it is obtained from a semigroup by adjoining an identity element