Theorem CategoryTheory.Functor.isRightKanExtension_iff_of_iso

Modification history