Mathlib Changelog
v4
Changelog
About
Github
Theorem
LTSeries.range_apply
Modification history
2025-07-04 07:44
Mathlib/Order/RelSeries.lean
chore: further whitespace fixes (#26708) …
Modified
LTSeries.range_apply
View on Github →
2024-09-04 09:43
Mathlib/Order/RelSeries.lean
feat(RelSeries): LTSeries.range (#15555) …
Added
LTSeries.range_apply
View on Github →