Theorem Orthonormal.equiv_toLinearEquiv

Modification history