Mathlib Changelog
v4
Changelog
About
Github
Theorem
InitialSeg.ltOrEq_apply_right
Modification history
2024-10-10 10:38
Mathlib/Order/InitialSeg.lean
chore(Order/InitialSeg): small cleanup (#17607) …
Modified
InitialSeg.ltOrEq_apply_right
View on Github →
2024-09-12 05:45
Mathlib/Order/InitialSeg.lean
feat(SetTheory/Ordinal/Basic): prove linear order instance earlier (#16401) …
Modified
InitialSeg.ltOrEq_apply_right
View on Github →
2022-12-17 23:54
Mathlib/Order/InitialSeg.lean
chore: tidy various files (#1086)
Added
InitialSeg.ltOrEq_apply_right
View on Github →