Theorem Quiver.SingleObj.pathEquivList_symm_cons

Modification history