Theorem RelSeries.head_eraseLast

Modification history