Def CategoryTheory.Functor.mapCoconeMorphism

Modification history