Theorem CategoryTheory.IsUniversalColimit.isPullback_of_isColimit_right

Modification history