lt;init&gt;" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="&lt;init&gt;(spv:Vector[provingground.translation.MathExpr]):provingground.translation.MathExpr.SP"></a><a id="&lt;init&gt;:SP"></a> <span class="permalink"><a href="../../provingground/translation/MathExpr$$SP.html#&lt;init&gt;(spv:Vector[provingground.translation.MathExpr]):provingground.translation.MathExpr.SP" title="Permalink"><i class="material-icons"></i></a></span> <span class="modifier_kind"><span class="modifi