Def Fintype.ofFinset

Modification history