Def CategoryTheory.Codiscrete.equivFunctorToCodiscrete

Modification history

2024-11-09 16:48
Mathlib/CategoryTheory/CodiscreteCategory.lean
feat(CategoryTheory): codiscrete categories (#17174) …
Added CategoryTheory.Codiscrete.equivFunctorToCodiscreteView on Github →