Def Fintype.of

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.of View on Github →