Theorem Orthonormal.inner_finsupp_eq_zero

Modification history