Def CategoryTheory.Functor.CoconeTypes.precompose

Modification history