Def Nat.CountSet.fintype

Modification history