Def composition.sigma_equiv_sigma_pi

Modification history