Шаблон:Lemma

Материал из Public ATP Wiki
Версия от 23:10, 12 марта 2020; Algocourselecturenotes (обсуждение | вклад) (Новая страница: «<div style=" background: grey; padding: 5px; margin: 5px; ">'''{{{What}}}'''</div> <div style=" background: whitesmoke; border: 1px dashed grey; padd…»)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск
{{{What}}}
{{{Statement}}}
{{{Proof}}}
Источник — «http://wiki.atp-fivt.org/index.php?title=Шаблон:Lemma&oldid=255»