Theorem RelSeries.apply_zero

Modification history