Def CategoryTheory.preservesFiniteColimitsPreadditiveCoyonedaObjOfProjective

Modification history