rouped" fullComment="yes" data-isabs="false" visbl="pub"><a id="subs(x:provingground.HoTT.Term,y:provingground.HoTT.Term):provingground.scalahott.ScalaPolyRep[U,W]"></a><a id="subs(Term,Term):ScalaPolyRep[U,W]"></a> <span class="permalink"><a href="../../provingground/scalahott/ScalaPolyRep$$OrScalaPolyRep.html#subs(x:provingground.HoTT.Term,y:provingground.HoTT.Term):provingground.scalahott.ScalaPolyRep[U,W]" title="Permalink"><i class="material-icons"></i></a></span> <span class="modifier_kind"><span c