Theorem Finset.expect_ite_mem

Modification history