Def AlgEquiv.piCongrLeft'

Modification history