Theorem CategoryTheory.MorphismProperty.subset_isoClosure

Modification history