Theorem CompositionSeries.lt_succ

Modification history