Rename homo
to ∙-homo
in Algebra.Morphism.Structures
#649
Loading
homo
to ∙-homo
in Algebra.Morphism.Structures
#649