Theorem Cardinal.card_lt_of_card_iUnion_lt

Modification history

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