Theorem CategoryTheory.MorphismProperty.of_isPushout

Modification history