Def Fintype.card

Modification history