Theorem Finset.smul_finset_singleton

Modification history