Def CategoryTheory.Functor.RightExtension.IsPointwiseRightKanExtensionAt

Modification history