UniqueZero
$$\mathop{\operatorname{zero*}\,}\limits_{x \in S} f(x)$$
The unique value $x \in S$ satisfying $f(x) = 0$. The result is Undefined if such a value does not exist or is not unique.
$$\mathop{\operatorname{zero*}\,}\limits_{x \in S,\,P(x)} f(x)$$
The unique value $x \in S$ satisfying $P(x)$ and $f(x) = 0$. The result is Undefined if such a value does not exist or is not unique.
Last updated: 2020-03-06 00:22:16