Theorem CategoryTheory.IsPullback.of_isLimit_cone

Modification history