Mathlib v3 is deprecated. Go to Mathlib v4

Def Fintype

Modification history

2020-10-29 07:30

src/category_theory/Fintype.lean

feat(category_theory/Fintype): Adds the category of finite types and its "standard" skeleton. (#4809) …

Added Fintype View on Github →