Theorem Finsupp.single_smul

Modification history