Theorem Finset.Nonempty.mul_zero

Modification history