Шаблон:Lemma

Материал из Public ATP Wiki
Версия от 15:35, 15 апреля 2020; Algocourselecturenotes (обсуждение | вклад) (Тебе сворачиваемое доказательство)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигации Перейти к поиску
{{{What}}}
{{{Statement}}}
Доказательство

{{{Proof}}}

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