Theorem Orthonormal.inner_right_sum

Modification history