Theorem LinearIsometryEquiv.coe_ofLinearIsometry_symm

Modification history