Theorem Subgroup.eq_of_le_of_card_ge

Modification history

2024-08-27 16:27
Mathlib/Algebra/Group/Subgroup/Finite.lean
feat: Add/improve lemmas on `Set`/`Subgroup` equality (#14365)
Added Subgroup.eq_of_le_of_card_geView on Github →