Theorem Cardinal.mk_biUnion_le_of_le_lift

Modification history

2026-02-02 02:01
Mathlib/SetTheory/Cardinal/Ordinal.lean
chore: rename `mk_iUnion_Ordinal_le_of_le` → `mk_biUnion_le_of_le` (#34452) …
Added Cardinal.mk_biUnion_le_of_le_liftView on Github →