Theorem DirectSum.coe_mul_apply_eq_dfinsupp_sum

Modification history