Theorem LinearIsometryEquiv.toLinearIsometry_injective

Modification history