Theorem CategoryTheory.Functor.isLeftKanExtension_iff_isIso

Modification history