Theorem LinearIsometryEquiv.symm_neg

Modification history