diff options
Diffstat (limited to 'sec/lang.ltx')
| -rw-r--r-- | sec/lang.ltx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sec/lang.ltx b/sec/lang.ltx index e675a85..1319d5e 100644 --- a/sec/lang.ltx +++ b/sec/lang.ltx @@ -58,7 +58,7 @@ unrepresentable in some models of System~T}. For any type \(A\) such that \(\jdgmnt{ty}{\Psi}{A}\) and a substitution from variables \(X \in \Psi\) to types \(\jdgmnt{ty}{\Theta}{f(X)}\), we have - \(\jdgmnt{ty}{\Theta}{\submult{A}{f}}\). + \(\jdgmnt{ty}{\Theta}{\suball{A}{f}}\). \end{proposition} \begin{figure} |