Theorem CategoryTheory.IsUniversalColimit.nonempty_isColimit_prod_of_pullbackCone

Modification history