Theorem CategoryTheory.IsUniversalColimit.isPullback_prod_of_isColimit

Modification history