Theorem RelSeries.toList_snoc

Modification history