Theorem CategoryTheory.MorphismProperty.isoClosure_isoClosure

Modification history