View source for Relationship between Weber function and Anger function

<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">
<strong>[[Relationship between Weber function and Anger function|Theorem]]:</strong> The following formula holds:
$$\sin(\nu \pi)\mathbf{E}_{\nu}(z)=\mathbf{J}_{-\nu}(z)-\cos(\nu \pi)\mathbf{J}_{\nu}(z),$$
where $\mathbf{E}_{\nu}$ denotes a [[Weber function]] and $\mathbf{J}_{\nu}$ denotes an [[Anger function]].
<div class="mw-collapsible-content">
<strong>Proof:</strong>  █ 
</div>
</div>