Theorem Finset.Nonempty.smul_zero

Modification history