Def CategoryTheory.leftRigidCategoryOfEquivalence

Modification history