Theorem CategoryTheory.IsUniversalColimit.nonempty_isColimit_of_isPullback_left

Modification history