Def CategoryTheory.Functor.isLimitConeOfIsRightKanExtension

Modification history