Theorem Finset.expect_boole_mul'

Modification history