feat(CategoryTheory): lemmas about descOfIsLeftKanExtension
for pointwise left Kan extensions (+dual)
#35816
Loading
descOfIsLeftKanExtension
for pointwise left Kan extensions (+dual)
#35816