Skip to content

Assuming

Evaluate expression under given assumptions.

$ wo 'Assuming[x > 0, 1 + 2]'
3