Theorem CompositionSeries.append_natAdd_aux

Modification history