Theorem Finset.exists_lt_of_expect_lt

Modification history