Theorem Composition.length_gather

Modification history