Theorem DirectSum.coe_mul_of_apply_add

Modification history