Mathlib Changelog
v4
Changelog
About
Github
Theorem
Cardinal.aleph0_lt_univ
Modification history
2025-07-06 21:54
Mathlib/SetTheory/Ordinal/Basic.lean
feat: simple lemmas on `Cardinal.univ` (#26818)
Added
Cardinal.aleph0_lt_univ
View on Github →