Theorem CategoryTheory.MorphismProperty.map_isoClosure

Modification history