Theorem CategoryTheory.SmallObject.functorMapSrc_functorObjTop

Modification history

2024-03-18 20:42
Mathlib/CategoryTheory/SmallObject/Construction.lean
feat(CategoryTheory): construction of a functor for the small object argument (#11056) …
Added CategoryTheory.SmallObject.functorMapSrc_functorObjTopView on Github →