Theorem CompositionSeries.mem_snoc

Modification history