Updated the power rule to the non-symmetric generality.

src/dg/notation.tex

@@ -13,6 +13,6 @@ Differential geometry is the study of things invariant under change of notation.
     $D_\sigma^n f$ & $n$-fold $\sigma$-derivative. & \autoref{definition:n-differentiable-sets} \\
     $D_\sigma^n(U; F)$ & $n$-fold $\sigma$-differentiable functions. & \autoref{definition:differentiable-space} \\
     $L^{(n)}_\sigma(E; F)$ & Codomain of derivatives. $L^{(0)}_\sigma(E; F) = F$, $L^{(n)}_\sigma(E; F) = L(E; L_\sigma^{(n-1)}(E; F))$, equipped with the $\sigma$-uniform topology. & \autoref{definition:higher-derivatives-codomain} \\
-    $x^{(k)}$ & Tuple of $x$ repeated $k$ times. & \autoref{proposition:multilinear-derivative} \\
-    $D^+f(x)$ & Right derivative of $f$ at $x$. & \autoref{definition:right-differentiable-mvt} \\
+    $x^{(k)}$ & Tuple of $x$ repeated $k$ times. & \autoref{theorem:taylor-peano} \\
+    $D^+f(x)$ & Right derivative of $f$ at $x$. & \autoref{definition:right-differentiable-mvt}
 \end{tabular}