Derivative commutes with the coercion $\mathbb{R} \hookrightarrow \mathbb{C}$: $\dfrac{d}{dy}\,\bigl(f(y) : \mathbb{C}\bigr) = f'(y)$

Initializing...

Derivative commutes with the coercion $\mathbb{R} \hookrightarrow \mathbb{C}$: $\dfrac{d}{dy}\,\bigl(f(y) : \mathbb{C}\bigr) = f'(y)$ · Prove2Me