Theorem CategoryTheory.IsUniversalColimit.isPullback_of_isColimit_left

Modification history