Mathlib Changelog
v4
Changelog
About
Github
Structure
Ordinal.IsFundamentalSeq
Modification history
2026-03-25 04:37
Mathlib/SetTheory/Ordinal/FundamentalSequence.lean
feat(SetTheory/Ordinal): fundamental sequences (#37019) …
Added
Ordinal.IsFundamentalSeq
View on Github →