Theorem RelSeries.head_cons

Modification history