DiffPos function

The DiffPos atom.

The difference between expressions, $x - y$, where $x > y > 0$.

DiffPos(x, y)

Arguments

• x: An Expression
• y: An Expression

Returns

The difference $x - y$ with domain $x,y: x > y > 0$.