Theorem CategoryTheory.Functor.isLeftKanExtension_iff_precomp

Modification history