Def CategoryTheory.Functor.mapCoconeWhisker

Modification history