Theorem AlgEquiv.piCongrRight_trans

Modification history