Theorem Composition.length_sigmaCompositionAux

Modification history