For symbolic objects x, the syntax ''sym(x, set)'' has been removed. Use ''assume(x, set)'' instead.
sym
For symbolic objects x, the syntax ''sym(x, set)'' has been removed. Use ''assume(x, set)'' instead.
Who is online
Users browsing this forum: No registered users and 1 guest