Rename homo
to ∙-homo
in Algebra.Morphism.Structures
#649
Job | Run time |
---|---|
8s | |
8s |
homo
to ∙-homo
in Algebra.Morphism.Structures
#649
Job | Run time |
---|---|
8s | |
8s |