Theorem CategoryTheory.Functor.LeftExtension.IsPointwiseLeftKanExtension.hom_ext

Modification history

2024-08-12 18:29
Mathlib/CategoryTheory/Functor/KanExtension/Pointwise.lean
chore: move to v4.11.0-rc2 (new `variable` command) (#15726)
Modified CategoryTheory.Functor.LeftExtension.IsPointwiseLeftKanExtension.hom_extView on Github →
2024-07-26 02:02
Mathlib/CategoryTheory/Functor/KanExtension/Pointwise.lean
chore: robustifying for debug.byAsSorry (part 5) (#15126)
Modified CategoryTheory.Functor.LeftExtension.IsPointwiseLeftKanExtension.hom_extView on Github →
2024-02-12 14:11
Mathlib/CategoryTheory/Functor/KanExtension/Pointwise.lean
feat(CategoryTheory/Functor): pointwise left Kan extensions (#10413) …
Added CategoryTheory.Functor.LeftExtension.IsPointwiseLeftKanExtension.hom_extView on Github →