Rename homo
to ∙-homo
in Algebra.Morphism.Structures
#3878
Job | Run time |
---|---|
40m 28s | |
40m 28s |
homo
to ∙-homo
in Algebra.Morphism.Structures
#3878
Job | Run time |
---|---|
40m 28s | |
40m 28s |