Theorem Cardinal.le_range_of_union_finset_eq_univ

Modification history

2026-02-25 00:49
Mathlib/SetTheory/Cardinal/Pigeonhole.lean
feat(SetTheory/Cardinal): generalize infinite pigeonhole principle (#34091) …
Added Cardinal.le_range_of_union_finset_eq_univView on Github →