mathlib
fac5ffed - feat(group_theory/subgroup/basic): disjoint_iff_mul_eq_one (#12505)

Commit

3 years ago

feat(group_theory/subgroup/basic): disjoint_iff_mul_eq_one (#12505)

Author

nomeata

nomeata

Parents

Loading