Commit 2024-08-07 14:17 78791a54

View on Github →

feat(RelSeries): RelSeries.take and RelSeries.drop (#15557) from the Carleson project.

Estimated changes

added def RelSeries.drop
added theorem RelSeries.head_drop
added theorem RelSeries.head_take
added theorem RelSeries.last_drop
added theorem RelSeries.last_take
added def RelSeries.take