Theorem CategoryTheory.MorphismProperty.isoClosure_subset_iff

Modification history