Theorem Fintype.card_coe

Modification history