Commit 2024-09-04 09:43 96ca7db6

View on Github →

feat(RelSeries): LTSeries.range (#15555) from the Carleson project

Estimated changes

added theorem LTSeries.head_range
added theorem LTSeries.last_range
added theorem LTSeries.length_range
added def LTSeries.range
added theorem LTSeries.range_apply