Theorem Cardinal.ord_natCast

Modification history

2026-05-18 12:33
Mathlib/SetTheory/Ordinal/Basic.lean
chore: review `Cardinal.ord` API (#35865) …
Added Cardinal.ord_natCastView on Github →