Def Composition.sigmaEquivSigmaPi

Modification history