Commit 2024-09-05 21:50 23475ea6

View on Github →

feat(SetTheory/Ordinal/NaturalOps): add missing instances (#16083)

Estimated changes

added theorem NatOrdinal.bot_eq_zero