Theorem CategoryTheory.Functor.limitIsoOfIsRightKanExtension_hom_π

Modification history