Theorem CategoryTheory.Prefunctor.of_toQuivHom

Modification history