">[<span name="A">A</span>, <span name="B">B</span>, <span name="C">C</span>]</span><span class="params">(<span name="bilinear">bilinear: (<span name="provingground.learning.TangVec.liftBilinear.A" class="extype">A</span>, <span name="provingground.learning.TangVec.liftBilinear.B" class="extype">B</span>) =&gt; <span name="provingground.learning.TangVec.liftBilinear.C" class="extype">C</span></span>)</span><span class="params">(<span class="implicit">implicit </span><span name="vs">vs: <span name="spire.alg