Theorem Finset.expect_boole_mul

Modification history