Def CategoryTheory.Functor.mapCone

Modification history