</span>]</span><span class="params">(<span name="func">func: (<span name="provingground.learning.TangVec.liftLinear.A" class="extype">A</span>) =&gt; <span name="provingground.learning.TangVec.liftLinear.B" class="extype">B</span></span>)</span><span class="result">: (<a href="TangVec.html" name="provingground.learning.TangVec" id="provingground.learning.TangVec" class="extype">TangVec</a>[<span name="provingground.learning.TangVec.liftLinear.A" class="extype">A</span>]) =&gt; <a href="TangVec.html" name="p