Theorem Ordinal.type_lt_ulift

Modification history

2026-02-24 13:32
Mathlib/SetTheory/Ordinal/Basic.lean
feat: more lemmas on `Ordinal.type` (#35519) …
Added Ordinal.type_lt_uliftView on Github →