t:provingground.learning.AdjDiffbleFunction[C,D]):provingground.learning.AdjDiffbleFunction.Oplus[A,B,C,D]"></a><a id="oplus[C,D](AdjDiffbleFunction[C,D]):Oplus[(A,C),(B,D),C,D]"></a> <span class="permalink"><a href="../../provingground/learning/AdjDiffbleFunction$$Oplus.html#oplus[C,D](that:provingground.learning.AdjDiffbleFunction[C,D]):provingground.learning.AdjDiffbleFunction.Oplus[A,B,C,D]" title="Permalink"><i class="material-icons"></i></a></span> <span class="modifier_kind"><span class="modifier"