Theorem Equiv.sigmaCongrRight_trans

Modification history