Theorem CategoryTheory.Prefunctor.to_ofQuivHom

Modification history