Theorem CategoryTheory.Functor.isRightKanExtension_iff_precomp

Modification history