Theorem Finsupp.support_smul_eq

Modification history