s" data-isabs="false" visbl="pub"><a id="subs(x:provingground.HoTT.Term,y:provingground.HoTT.Term):provingground.scalahott.IntVector.IntVecRep.type"></a><a id="subs(Term,Term):IntVecRep"></a> <span class="permalink"><a href="../../provingground/scalahott/IntVector$$IntVecRep$.html#subs(x:provingground.HoTT.Term,y:provingground.HoTT.Term):provingground.scalahott.IntVector.IntVecRep.type" title="Permalink"><i class="material-icons"></i></a></span> <span class="modifier_kind"><span class="modifier"></span> 