Def CategoryTheory.Functor.Initial.lift

Modification history