Theorem CategoryTheory.Functor.isLeftKanExtension_iff_postcomp₁

Modification history