Def CategoryTheory.Functor.emptyEquivalence

Modification history