From 0f70f6e35ba2cb775fa782b02e201e8b0a7893ef Mon Sep 17 00:00:00 2001
From: Crocron4ik <121800330+Crocron4ik@users.noreply.github.com>
Date: Tue, 24 Feb 2026 23:43:54 +0300
Subject: [PATCH] fix typo

---
 lection-16.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lection-16.tex b/lection-16.tex
index e779d94..0787058 100644
--- a/lection-16.tex
+++ b/lection-16.tex
@@ -442,7 +442,7 @@
 \begin{dfn}Комбинатор --- лямбда-терм без свободных переменных
 \end{dfn}
 \begin{dfn}[исходная идея Моисея Шейнфинкеля, 1924]$S := \lambda x.\lambda y.\lambda z.x\ z\ (y\ z)$, $K := \lambda x.\lambda y.x$, $I := \lambda x.x$\\
-(verSchmelzung, Konstanz --- исходно <<C>> у Шейнфинкеля, Identit\"at)
+(Verschmelzung, Konstanz --- исходно <<C>> у Шейнфинкеля, Identit\"at)
 \end{dfn}
 
 \begin{thm}Пусть $N$ --- некоторый замкнутый лямбда-терм. Тогда найдётся выражение $M$, состоящее из комбинаторов $S$,$K$,