Theorem noMinOrder_iff

Modification history

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