Def CategoryTheory.rigidCategoryOfEquivalence

Modification history