Def CategoryTheory.Functor.splitMonoEquiv

Modification history