mathlib3
af2cf74a - feat(group_theory/quotient_group): map is a group hom (#761)

Commit

6 years ago

feat(group_theory/quotient_group): map is a group hom (#761)

References

#761 - feat(group_theory/quotient_group): map is a group hom

Author

jcommelin

jcommelin

Committer

ChrisHughes24

ChrisHughes24

Parents

Loading