formalism: Remove duplicate definition of \substToRow

hazelgrove · Jun 2, 2023 · c0e7892 · c0e7892
1 parent f509d01
commit c0e7892
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/formalism/polymorphism.tex b/formalism/polymorphism.tex
@@ -266,7 +266,6 @@ \subsubsection{Marked types}
 
 \judgbox{\ensuremath{\subst{\MTMV_1}{\MTMV_2}{\MTVarMV}}} is a metafunction defined as follows:
 %
-\newcommand{\substToRow}[4]{\ensuremath{\subst{#1}{#2}{#3} & = & #4}}
 \[\begin{array}{rcll}
   \substToRow{\MTUnknown}{\MTMV}{\MTVarMV}{\MTUnknown} \\
   \substToRow{\MTNum}{\MTMV}{\MTVarMV}{\MTNum} \\