Theorem CategoryTheory.IsPushout.of_isColimit_cocone

Modification history