Theorem CategoryTheory.Quiv.pathsOf_freeMap_toPrefunctor

Modification history