Def CategoryTheory.Functor.asEquivalence

Modification history