Def CategoryTheory.Functor.Initial.homToLift

Modification history