Theorem RelSeries.last_singleton

Modification history