Theorem CategoryTheory.MorphismProperty.map_respectsIso

Modification history