Theorem Finset.expect_eq_zero

Modification history