大卫·崔
内容提要
问题
假设(x ^ 2 = = y)不起作用
我有下面的代码:对称x y;假设(x ^ 2 = = y);假设(x * y = = y * x);t = isequaln (x ^ 2, y);s = isequaln (x * y, y * x);…
3年前| 1 | 0回答
假设(x ^ 2 = = y)不起作用
我有下面的代码:对称x y;假设(x ^ 2 = = y);假设(x * y = = y * x);t = isequaln (x ^ 2, y);s = isequaln (x * y, y * x);…
