Theorem CategoryTheory.MorphismProperty.pullbacks_mk

Modification history