Theorem NatOrdinal.bot_eq_zero

Modification history

2025-03-14 18:18
Mathlib/SetTheory/Ordinal/NaturalOps.lean
feat: more lemmas on `NatOrdinal` (#22616) …
Modified NatOrdinal.bot_eq_zeroView on Github →
2024-09-05 21:50
Mathlib/SetTheory/Ordinal/NaturalOps.lean
feat(SetTheory/Ordinal/NaturalOps): add missing instances (#16083)
Added NatOrdinal.bot_eq_zeroView on Github →