Theorem LinearIsometryEquiv.coe_symm_toLinearEquiv

Modification history