Theorem Cardinal.card_lt_of_card_biUnion_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_biUnion_ltView on Github →