Add a missing uses

urkud · Dec 9, 2024 · e9528ec · e9528ec
1 parent 3f2d4dd
commit e9528ec
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/blueprint/src/content.tex b/blueprint/src/content.tex
@@ -223,6 +223,7 @@ \subsection{Currying}%
 \begin{theorem}%
   \label{thm:curry-uncurry-fin-add}
   \uses{def:uncurry-fin-add}
+  \uses{def:cont-alt-curry-fin-add}
   If \(f\) is a continuous alternating map, then \(\curry_{k, l}(\altAdd_{k, l}(f)) = \binom{k + l}{k}f\).
 \end{theorem}