Def CategoryTheory.Functor.LeftExtension.IsPointwiseLeftKanExtension.isUniversal

Modification history