ir: (<a href="TangVec.html" name="provingground.learning.TangVec" id="provingground.learning.TangVec" class="extype">TangVec</a>[<span name="provingground.learning.TangVec.tProd.A" class="extype">A</span>], <a href="TangVec.html" name="provingground.learning.TangVec" id="provingground.learning.TangVec" class="extype">TangVec</a>[<span name="provingground.learning.TangVec.tProd.B" class="extype">B</span>])</span>)</span><span class="result">: <a href="TangVec.html" name="provingground.learning.TangVec" id="p