Theorem Finsupp.smul_single

Modification history