Theorem LinearIsometryEquiv.piLpCongrLeft_symm

Modification history