Def CategoryTheory.Equivalence.inverseFunctor

Modification history