mathlib
f985e364 - feat(group_theory/subgroup): add mem_map_of_mem (#7459)

Commit

4 years ago

feat(group_theory/subgroup): add mem_map_of_mem (#7459) From LTE. Written by @PatrickMassot Co-authored-by: Patrick Massot <patrickmassot@free.fr>

Author

riccardobrasca

Parents