Theorem Finset.expect_dite_eq'

Modification history