Def CategoryTheory.Functor.LeftExtension.IsPointwiseLeftKanExtensionAt

Modification history