Theorem CompositionSeries.append_succ_natAdd

Modification history