Theorem CategoryTheory.Limits.Concrete.colimit_rep_eq_iff_exists

Modification history