Theorem RelSeries.head_fromListChain'

Modification history