Шаблон:Lemma

Материал из Public ATP Wiki
Перейти к: навигация, поиск
{{{What}}}
{{{Statement}}}
Доказательство

{{{Proof}}}

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