Theorem CategoryTheory.MorphismProperty.pullback_snd

Modification history