Theorem Subgroup.card_le_of_le

Modification history

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