Theorem CategoryTheory.MorphismProperty.universally_respectsIso

Modification history