Theorem CompositionSeries.snoc_castSucc

Modification history