Theorem Finset.smul_singleton

Modification history