Theorem CompositionSeries.top_snoc

Modification history