<?xml version="1.0"?>
<div>:: <span class="kw">deftheorem </span>   defines <a href="e_trans1.html#K1" title="E_TRANS1:func.1">exp_R1</a> <a onclick="hs(this)" href="javascript:()">E_TRANS1:def 1 : <br/></a><span> <a href="e_trans1.html#K1" title="E_TRANS1:func.1">exp_R1</a>  <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> <a href="sin_cos.html#K22" title="SIN_COS:func.22">exp_R</a> <a href="rfunct_1.html#K6" title="RFUNCT_1:func.6">^</a> ;<br/></span></div>
