mathlib
301542a4 - feat(group_theory.quotient_group): add eq_iff_div_mem (#7523)

Commit

4 years ago

feat(group_theory.quotient_group): add eq_iff_div_mem (#7523) From LTE. Written by @PatrickMassot Co-authored-by: Patrick Massot <patrickmassot@free.fr>

Author

riccardobrasca

Parents

63a17823

mathlib 301542a4 - feat(group_theory.quotient_group): add eq_iff_div_mem (#7523)

mathlib
301542a4 - feat(group_theory.quotient_group): add eq_iff_div_mem (#7523)