Theorem Fintype.card_sum

Modification history