Theorem Finset.Nonempty.smul_finset

Modification history