.Functors.Un" id="provingground.translation.Functors.Un" class="extmbr">Un</a>]</span></span></li><li class="indented0 " name="provingground.interface.JsFunc#vecJs" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="vecJs:provingground.interface.JsFunc[Vector]"></a><a id="vecJs:JsFunc[Vector]"></a> <span class="permalink"><a href="../../provingground/interface/JsFunc$.html#vecJs:provingground.interface.JsFunc[Vector]" title="Permalink"><i class="material-icons"></i></a></span> <span