Theorem Fintype.card_fun

Modification history