Theorem LinearIsometryEquiv.toIsometryEquiv_inj

Modification history