Theorem RelSeries.last_cons

Modification history