Theorem RelSeries.head_singleton

Modification history