Theorem Orthonormal.inner_finsupp_eq_sum_left

Modification history