Theorem Fintype.card_eq_sum_ones

Modification history