Theorem RelSeries.head_toList

Modification history