Theorem Orthonormal.inner_left_right_finset

Modification history