Theorem RelSeries.last_snoc'

Modification history