mathlib3
86bd577c - refactor(algebra/group): is_monoid_hom extends is_mul_hom (#915)

Commit

6 years ago

refactor(algebra/group): is_monoid_hom extends is_mul_hom (#915) * refactor(algebra/group): is_monoid_hom extends is_mul_hom * Fix build

References

Author

jcommelin

Committer

mergify[bot]

Parents