Theorem Finset.Nonempty.of_mul_left

Modification history