Def CategoryTheory.MorphismProperty.IsInvertedBy

Modification history