Theorem Ordinal.type_lt_cardinal

Modification history

2026-03-23 12:20
Mathlib/SetTheory/Cardinal/Aleph.lean
chore: golf `Ordinal.cof_univ` (#36925) …
Added Ordinal.type_lt_cardinalView on Github →