sbl="pub"><a id="restrict[I]:G[Y[I]]=&gt;G[X[I]]"></a><a id="restrict[I]:(G[Y[I]])=&gt;G[X[I]]"></a> <span class="permalink"><a href="../../provingground/translation/ConeRestriction.html#restrict[I]:G[Y[I]]=&gt;G[X[I]]" title="Permalink"><i class="material-icons"></i></a></span> <span class="modifier_kind"><span class="modifier">abstract </span> <span class="kind">def</span></span> <span class="symbol"><span class="name">restrict</span><span class="tparams">[<span name="I">I</span>]</span><span class="re