Theorem Finset.expect_dite_eq

Modification history