Def CategoryTheory.Functor.mapCocone

Modification history