Def CategoryTheory.rightRigidCategoryOfEquivalence

Modification history