Theorem CompositionSeries.Equivalent.snoc_snoc_swap

Modification history