Def CategoryTheory.Codiscrete.functorToCat

Modification history

2025-12-16 19:53
Mathlib/CategoryTheory/CodiscreteCategory.lean
chore(CategoryTheory): fix whitespace (#32928)
Modified CategoryTheory.Codiscrete.functorToCatView on Github →
2024-11-09 16:48
Mathlib/CategoryTheory/CodiscreteCategory.lean
feat(CategoryTheory): codiscrete categories (#17174) …
Added CategoryTheory.Codiscrete.functorToCatView on Github →