Theorem LinearIsometryEquiv.toLinearEquiv_injective

Modification history