Theorem CategoryTheory.IsUniversalColimit.nonempty_isColimit_of_pullbackCone_right

Modification history