Theorem Subgroup.card_range_dvd

Modification history

2024-12-20 11:33

Mathlib/GroupTheory/Index.lean

feat(GroupTheory/Index): Add `Subgroup.card_range_dvd` and `Subgroup.card_map_dvd` (#20100) …

Added Subgroup.card_range_dvd View on Github →