Def CategoryTheory.RelCat.opEquivalence

Modification history