Theorem Finsupp.smul_single'

Modification history