mathlib3
fix(algebra/group/hom): Fix extraneous arguments
#1581
Merged

fix(algebra/group/hom): Fix extraneous arguments #1581

mergify merged 2 commits into master from fix-group-hom
PatrickMassot
PatrickMassot fix(algebra/group/hom): Fix spurrious arguments
e7e6ccab
robertylewis
robertylewis approved these changes on 2019-10-21
robertylewis robertylewis added ready-to-merge
robertylewis
mergify[bot] Merge branch 'master' into fix-group-hom
d6d8d9ee
mergify mergify merged 6cf3d040 into master 6 years ago
mergify mergify deleted the fix-group-hom branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone