Theorem CompositionSeries.snoc_last

Modification history