Theorem Subgroup.card_eq_card_quotient_mul_card_subgroup
Modification history
2024-08-16 23:11
Mathlib/GroupTheory/Coset/Basic.lean
chore: avoid importing `Cardinal` in basic group theory (#15646)
Modified Subgroup.card_eq_card_quotient_mul_card_subgroupView on Github →