Theorem LinearIsometryEquiv.toIsometryEquiv_injective

Modification history