mathlib
913950ed - feat(group_theory/subgroup): add monoid_hom.restrict (#6537)

Commit

5 years ago

feat(group_theory/subgroup): add monoid_hom.restrict (#6537)

Author

kex-y

kex-y

Parents

Loading