Theorem Quiver.SingleObj.pathEquivList_nil

Modification history