Theorem LTSeries.last_range

Modification history

2024-09-04 09:43
Mathlib/Order/RelSeries.lean
feat(RelSeries): LTSeries.range (#15555) …
Added LTSeries.last_rangeView on Github →