Def CategoryTheory.Equivalence.inverseFunctorObj'

Modification history