Theorem Quiver.SingleObj.pathToList_listToPath

Modification history