Def LinearIsometryEquiv.piLpCongrLeft

Modification history