Def CategoryTheory.Prefunctor.ofQuivHom

Modification history