Theorem Finset.expect_eq_sum_div_card

Modification history