Шаблон:Lemma

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

{{{Proof}}}