Consider the function $F:\mathbb{R}\rightarrow \mathbb{R}$.
Let $f(x)$ denote the derivative of $F$ at $x\in \mathbb{R}$.
Consider two other differentiable functions $g:\mathbb{R}\rightarrow \mathbb{R}$ and $b:\mathbb{R}\rightarrow \mathbb{R}$.
Suppose I want to compute $$ \frac{\partial}{\partial x} F\Big(\min\Big\{g(x), b(x)\Big\}\Big). $$ Assume that $g(x)\neq b(x)$ for each $x\in \mathbb{R}$.
Is it correct that $$ \frac{\partial}{\partial x} F\Big(\min\Big\{g(x), b(x)\Big\}\Big)=\mathbb{1}_{[g(x)< b(x)]} f(g(x)) \frac{\partial g(x)}{\partial x}+\mathbb{1}_{[g(x)> b(x)]} f(b(x)) \frac{\partial b(x)}{\partial x} \quad ? $$