Def CategoryTheory.Functor.mapCoconePrecomposeEquivalenceFunctor

Modification history