Theorem CompositionSeries.append_succ_natAdd_aux

Modification history