Theorem Subgroup.card_le_card_group

Modification history

2024-06-06 06:18
Mathlib/Algebra/Group/Subgroup/Finite.lean
Refactor(Algebra/Group/Subgroup/Finite): Replace `Fintype.card` with `Nat.card` (#13432) …
Modified Subgroup.card_le_card_groupView on Github →
2023-07-03 01:56
Mathlib/GroupTheory/Subgroup/Finite.lean
feat: Compare card of subgroup to card of group (#5347) …
Added Subgroup.card_le_card_groupView on Github →