Theorem CategoryTheory.Limits.colimitObjIsoColimitCompEvaluation_ι_app_hom

Modification history