Def Fintype.ofSubsingleton

Modification history