Def CategoryTheory.Equivalence.inverseFunctorObjIso

Modification history