Theorem CategoryTheory.MorphismProperty.RespectsIso.isoClosure_eq

Modification history