Def CategoryTheory.Functor.coconeTypesEquiv

Modification history