Theorem Fintype.card_pos

Modification history