Def CategoryTheory.Functor.LeftExtension.IsPointwiseLeftKanExtension.homFrom

Modification history