Theorem Cardinal.mk_Iio_lt

Modification history

2026-03-30 08:57
Mathlib/SetTheory/Ordinal/Basic.lean
feat: bundled version of `Cardinal.ord_eq` (#36928) …
Added Cardinal.mk_Iio_ltView on Github →