Theorem Finset.singleton_smul_singleton

Modification history