Theorem Finsupp.coe_pointwise_smul

Modification history