Theorem CategoryTheory.Limits.Concrete.colimit_exists_rep

Modification history