Theorem CategoryTheory.Functor.RightExtension.IsPointwiseRightKanExtension.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.RightExtension.IsPointwiseRightKanExtension.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.RightExtension.IsPointwiseRightKanExtension.hom_extView on Github →
2024-07-04 14:02
Mathlib/CategoryTheory/Functor/KanExtension/Pointwise.lean
feat: dualising results in CategoryTheory.Functor.KanExtension.Pointwise (#14258) …
Added CategoryTheory.Functor.RightExtension.IsPointwiseRightKanExtension.hom_extView on Github →