Theorem Composition.sigma_pi_composition_eq_iff

Modification history