Theorem Subgroup.nat_card_centralizer_nat_card_stabilizer

Modification history

2025-04-24 08:21
Mathlib/GroupTheory/Finiteness.lean
chore(GroupTheory/Finiteness): move `Group.rank` to a new file (#24326) …
Modified Subgroup.nat_card_centralizer_nat_card_stabilizerView on Github →
2024-11-06 17:23
Mathlib/GroupTheory/Finiteness.lean
feat: several results on permutations, cycles, etc (#17046) …
Added Subgroup.nat_card_centralizer_nat_card_stabilizerView on Github →