Шаблон:Lemma

Материал из Public ATP Wiki

Версия от 20:18, 12 марта 2020; Algocourselecturenotes (обсуждение | вклад)

(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)

Перейти к навигации Перейти к поиску

{{{What}}}

{{{Statement}}}

{{{Proof}}}

Источник — https://wiki.atp-fivt.org/index.php?title=Шаблон:Lemma&oldid=256