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