on.Statement.Definition" id="provingground.translation.Statement.Definition" class="extype">Definition</a>[<span name="provingground.translation.Statement.Definition.S" class="extype">S</span>, <span name="provingground.translation.Statement.Definition.E" class="extype">E</span>]]</h3></div></div><div id="groupedMembers"><div name="Ungrouped" class="group"><h3>Ungrouped</h3></div></div></div><div id="tooltip"></div><div id="footer"></div></body></div></div></div></body></html>
