Structure FintypeCat

Modification history

2026-03-12 17:39

Mathlib/CategoryTheory/FintypeCat.lean

refactor(CategoryTheory/FintypeCat): redefine `FintypeCat` as a full subcategory of `Type` (#36498)

Deleted FintypeCat View on Github →

2025-02-05 17:15

Mathlib/CategoryTheory/FintypeCat.lean

refactor(CategoryTheory): `ConcreteCategory` instance for `FintypeCat` (#21466) …

Added FintypeCat View on Github →