Def CategoryTheory.Functor.mapCoconePrecompose

Modification history