Theorem RelSeries.append_singleton_left

Modification history