Not throwing exception because it is not a valid assumption that the free...
Not throwing exception because it is not a valid assumption that the free symbol must still exist after possible symbolic simplification.
Please register or sign in to comment