Theorem CategoryTheory.MorphismProperty.pullback_fst

Modification history