"A">A</span>, <span name="B">B</span>]</span><span class="params">(<span name="av">av: <a href="TangVec.html" name="provingground.learning.TangVec" id="provingground.learning.TangVec" class="extype">TangVec</a>[<span name="provingground.learning.TangVec.tangProd.A" class="extype">A</span>]</span>, <span name="bw">bw: <a href="TangVec.html" name="provingground.learning.TangVec" id="provingground.learning.TangVec" class="extype">TangVec</a>[<span name="provingground.learning.TangVec.tangProd.B" class="extype"