rovingground.learning.TangVec" class="extype">TangVec</a>[(<span name="provingground.learning.TangVec.tProd.A" class="extype">A</span>, <span name="provingground.learning.TangVec.tProd.B" class="extype">B</span>)]</span></span></li><li class="indented0 " name="provingground.learning.TangVec#tangProd" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="tangProd[A,B](av:provingground.learning.TangVec[A],bw:provingground.learning.TangVec[B]):provingground.learning.TangVec[(A,B)]"></a><a id