Assertion: algebra isomorphism | /r/HasAspect | two homomorphisms
Facets:
Source sentences:
text: A monoid isomorphism between M and N has two homomorphisms f and g, where both f andThen g and g andThen f are an identity function.