Theorem RelSeries.toList_injective

Modification history