Theorem Cardinal.card_lt_of_card_iUnion_lt

Modification history

2025-03-11 00:25
Mathlib/SetTheory/Cardinal/Cofinality.lean
chore(SetTheory/Cardinal/Cofinality): split file (#21972) …
Modified Cardinal.card_lt_of_card_iUnion_ltView on Github →
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 →