Theorem Finset.exists_ne_zero_of_expect_ne_zero

Modification history