Theorem Fintype.sum_smul_sum

Modification history