Theorem Orthonormal.inner_finsupp_eq_sum_right

Modification history