Изменения

Перейти к: навигация, поиск

Теорема Махэни

Нет изменений в размере, 00:35, 2 апреля 2012
м
Нет описания правки
{{Лемма
|statement=<tex>\langle\phi,y\rangle \in LSAT, y<_{lex}z</tex>. Тогда <tex>\langle\phi,z\rangle \in LSAT.</tex>.
}}

Навигация