Theorem Finset.expect_div

Modification history