Theorem RelSeries.last_snoc

Modification history