Theorem CategoryTheory.Limits.Concrete.isColimit_rep_eq_iff_exists

Modification history