Commit 2024-08-07 07:08 20f7e68b

View on Github →

feat(RelSeries): {head,last}_map (#15387) from the Carleson project

Estimated changes

added theorem LTSeries.head_map
added theorem LTSeries.last_map
added theorem RelSeries.head_map
added theorem RelSeries.last_map