Theorem Cardinal.card_iUnion_lt_iff_forall_of_isRegular

Modification history

2024-04-03 22:32
Mathlib/SetTheory/Cardinal/Cofinality.lean
feat : new properties of the CardinalInterFilter (#11758) …
Added Cardinal.card_iUnion_lt_iff_forall_of_isRegularView on Github →