rams">(<span class="implicit">implicit </span><span name="dw">dw: <a href="MathWriter.html" name="provingground.translation.MathWriter" id="provingground.translation.MathWriter" class="extype">MathWriter</a>[<span name="provingground.translation.Statement.appendTo.D" class="extype">D</span>, <span name="provingground.translation.Statement.Definition.E" class="extype">E</span>]</span>)</span><span class="result">: <span name="provingground.translation.Statement.appendTo.D" class="extype">D</span></span></spa