Theorem CategoryTheory.Quiv.pathsOf_pathComposition_toPrefunctor

Modification history