Def CategoryTheory.exp.delabFunctorObjExp

Modification history

2025-11-19 06:07
Mathlib/CategoryTheory/Closed/Cartesian.lean
chore: move Mathlib to the module system (#31786) …
Deleted CategoryTheory.exp.delabFunctorObjExpView on Github →
2025-11-18 15:06
Mathlib/CategoryTheory/Closed/Cartesian.lean
style: remove redundant `<|` and `|>.` (#31769) …
Modified CategoryTheory.exp.delabFunctorObjExpView on Github →
2025-08-11 09:44
Mathlib/CategoryTheory/Closed/Cartesian.lean
refactor(CategoryTheory): have Functor not extend Prefunctor (#28106) …
Added CategoryTheory.exp.delabFunctorObjExpView on Github →