Theorem Ordinal.card_le_iff

Modification history

2026-10-21 08:47
Mathlib/SetTheory/Ordinal/Basic.lean
refactor: `Cardinal.card_le_iff` → `Ordinal.card_le_iff` (#45105) …
Added Ordinal.card_le_iffView on Github →