Def CategoryTheory.Functor.mapCoconeMapCoconeInv

Modification history