Page 1 of 1

For symbolic objects x, the syntax ''sym(x, set)'' has been removed. Use ''assume(x, set)'' instead.

Posted: Sun Mar 14, 2021 6:02 am
by namavri
For symbolic objects x, the syntax ''sym(x, set)'' has been removed. Use ''assume(x, set)'' instead.



sym