mathlib
66a86ffe - refactor(*): rename is_group_hom.mul to map_mul (#911)

Commit

6 years ago

refactor(*): rename is_group_hom.mul to map_mul (#911) * refactor(*): rename is_group_hom.mul to map_mul * Fix splits_mul

References

Author

jcommelin

Committer

ChrisHughes24

Parents