></span> <span class="kind">def</span></span> <span class="symbol"><span class="name">oplus</span><span class="tparams">[<span name="C">C</span>, <span name="D">D</span>]</span><span class="params">(<span name="that">that: <a href="AdjDiffbleFunction.html" name="provingground.learning.AdjDiffbleFunction" id="provingground.learning.AdjDiffbleFunction" class="extype">AdjDiffbleFunction</a>[<span name="provingground.learning.AdjDiffbleFunction.oplus.C" class="extype">C</span>, <span name="provingground.learnin