Theorem DFinsupp.single_smul

Modification history