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

Merged

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

mergify merged 4 commits into master from hom-mul

refactor(algebra/group): is_monoid_hom extends is_mul_hom

8942d477

Merge branch 'master' into hom-mul

9933317b

jcommelin requested a review 6 years ago

Fix build

9caa5387

ChrisHughes24 approved these changes on 2019-04-09

ChrisHughes24 added ready-to-merge

Merge branch 'master' into 'hom-mul'

d21ff643

mergify merged 86bd577c into master 6 years ago

mergify deleted the hom-mul branch 6 years ago

Reviewers

ChrisHughes24

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone