Def CategoryTheory.hasLeftDualOfEquivalence

Modification history