Theorem CategoryTheory.MorphismProperty.map_subset_iff

Modification history