Theorem CategoryTheory.MorphismProperty.pushouts_mk

Modification history