Theorem Finset.expect_sub_distrib

Modification history