d="r_af97999c9706840e76dc7842f7a7b1c11"><td class="memItemLeft" align="right" valign="top"><a id="af97999c9706840e76dc7842f7a7b1c11" name="af97999c9706840e76dc7842f7a7b1c11"></a>
Elt&#160;</td><td class="memItemRight" valign="bottom"><b>t_</b> [<a class="el" href="classproofs_1_1_nat.html">N</a>]</td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 id="header-pub-static-attribs" class="groupheader"><a id="pub-static-attribs" name="pub-static-attribs"></a>
Static Public Attri