Theorem DirectSum.mul_eq_dfinsupp_sum

Modification history