Theorem CompositionSeries.isMaximal_eraseLast_last

Modification history