Def CategoryTheory.Functor.constCompEvaluationObj

Modification history