Theorem AlgEquiv.piCongrRight_refl

Modification history