Def CategoryTheory.Functor.splitEpiCategoryImpOfIsEquivalence

Modification history