Derivative of delta cosh
From timescalewiki
Theorem: Let $p\in C_{rd}$. If $-\mu p^2 \in \mathcal{R}$, then $$\cosh^{\Delta}_p = p\sinh_p,$$ where $\cosh_p$ denotes the $\Delta$-$\cosh_p$ function and $\sinh_p$ denotes the $\Delta$-$\sinh_p$ function.
Proof: █
