<?xml version="1.0"?>
<div>:: <span class="kw">deftheorem </span>   defines <a href="surreal0.html#K11" title="SURREAL0:func.11">0_No</a> <a onclick="hs(this)" href="javascript:()">SURREAL0:def 15 : <br/></a><span> <a href="surreal0.html#K11" title="SURREAL0:func.11">0_No</a>  <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> <span class="p1"><a href="tarski.html#K4" title="TARSKI:func.4">[</a><span class="default"><a href="xboole_0.html#K1" title="XBOOLE_0:func.1">{}</a>,<a href="xboole_0.html#K1" title="XBOOLE_0:func.1">{}</a></span><a href="tarski.html#K4" title="TARSKI:func.4">]</a></span>;<br/></span></div>
