Theorem CompositionSeries.bot_snoc

Modification history