Mathlib Changelog
v4
Changelog
About
Github
Theorem
Cardinal.ord_aleph0
Modification history
2024-10-16 11:05
Mathlib/SetTheory/Ordinal/Arithmetic.lean
feat(SetTheory/Cardinal/Aleph): define initial ordinals (#16964)
Modified
Cardinal.ord_aleph0
View on Github →
2023-02-16 08:59
Mathlib/SetTheory/Ordinal/Arithmetic.lean
feat: port SetTheory.Ordinal.Arithmetic (#2271)
Added
Cardinal.ord_aleph0
View on Github →