Def CategoryTheory.Functor.Final.homToLift

Modification history