Theorem Set.eq_top_of_card_le_of_finite

Modification history

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