Theorem Quiver.SingleObj.pathEquivList_symm_nil

Modification history