Def CategoryTheory.Functor.LeftExtension.coconeAt

Modification history

2024-02-12 14:11

Mathlib/CategoryTheory/Functor/KanExtension/Pointwise.lean

feat(CategoryTheory/Functor): pointwise left Kan extensions (#10413) …

Added CategoryTheory.Functor.LeftExtension.coconeAt View on Github →