Theorem CategoryTheory.MorphismProperty.map_inverseImage_subset

Modification history