Theorem card_eq_card_quotient_mul_card_subgroup
Modification history
2021-04-06 05:50
src/group_theory/order_of_element.lean
chore(group_theory/order_of_element): move some lemmas (#7031) …
Deleted card_eq_card_quotient_mul_card_subgroupView on Github →