Theorem CategoryTheory.MorphismProperty.surjective_respectsIso

Modification history