Theorem Quiver.SingleObj.listToPath_pathToList

Modification history