Theorem CategoryTheory.Limits.colimit_obj_ext

Modification history