Theorem AlgEquiv.piCongrLeft'_apply

Modification history