k"><i class="material-icons"></i></a></span> <span class="modifier_kind"><span class="modifier"></span> <span class="kind">new</span></span> <span class="symbol"><span class="name">Definition</span><span class="params">(<span name="name">name: <span name="provingground.translation.Statement.Definition.S" class="extype">S</span></span>, <span name="typ">typ: <span name="provingground.translation.Statement.Definition.E" class="extype">E</span></span>, <span name="value">value: <span name="provingground.tra