Theorem Finset.expect_ite_eq'

Modification history