Theorem Fintype.expect_eq_sum_div_card

Modification history