Def Fintype.ofIsEmpty

Modification history