Theorem CategoryTheory.MorphismProperty.of_isPullback

Modification history