Шаблон:Lemma — различия между версиями

Материал из Public ATP Wiki
Перейти к: навигация, поиск
(Новая страница: «<div style=" background: grey; padding: 5px; margin: 5px; ">'''{{{What}}}'''</div> <div style=" background: whitesmoke; border: 1px dashed grey; padd…»)
 
Строка 10: Строка 10:
 
   padding: 5px;
 
   padding: 5px;
 
   margin: 5px;
 
   margin: 5px;
">'''{{{Statement}}}'''</div>
+
">{{{Statement}}}</div>
  
 
<div style="
 
<div style="
Строка 16: Строка 16:
 
   padding: 15px;
 
   padding: 15px;
 
   margin: 5px;
 
   margin: 5px;
">'''{{{Proof}}}'''</div>
+
">{{{Proof}}}</div>

Версия 23:18, 12 марта 2020

{{{What}}}
{{{Statement}}}
{{{Proof}}}