Theorem Finsupp.smul_single_one

Modification history