“Use Stoke's theorem, $$ \int_{inside} \left( \vec{\nabla} \times \vec{F} \right) \cdot d\vec{\sigma}=\int_{loop} \vec{F} \cdot d\vec{r}$$
to derive the differential form of Ampere's Law”
$$\int{\vec{B}\cdot{\vec{dr}}}=\mu_{0}I_{encl}$$
This SWBQ …