Theorem CompositionSeries.head_le

Modification history