Theorem CategoryTheory.Limits.hasPushouts_of_hasColimit_span

Modification history