Theorem DirectSum.mul_eq_sum_support_ghas_mul

Modification history