Def CategoryTheory.Limits.colimitObjIsoColimitCompEvaluation

Modification history