diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2025-06-19 00:26:46 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2025-06-19 00:26:46 +0100 |
| commit | 437b0c42e713774e7a27ccdc1f08770e30aeacbd (patch) | |
| tree | 1800fab6ef4618b3fa3ef6f116fc03d43a968b76 /sec/lang.ltx | |
| parent | f99a6ff28455e693865ed7174a334f0c68b46135 (diff) | |
Fix missing character warning.
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} |