Theorem CategoryTheory.Limits.Concrete.colimit_exists_of_rep_eq

Modification history