P
Initializing...
Chain rule in $\mathbb C(t)[W]/(W^2-h)$: $d\big(p(t)\big)=p'(t)\,dt$ for every polynomial $p$ · Prove2Me