Theorem CategoryTheory.MorphismProperty.pullback_map

Modification history