Mathlib Changelog
v4
Changelog
About
Github
Def
Ordinal.ToType
Modification history
2025-12-08 05:19
Mathlib/SetTheory/Ordinal/Basic.lean
refactor: `Ordinal.toType` → `Ordinal.ToType` (#32449) …
Added
Ordinal.ToType
View on Github →