Theorem RelSeries.toList_getElem_zero_eq_head

Modification history