pan>), <span name="provingground.learning.AdjDiffbleFunction.*:.C" class="extype">C</span>]</span></span><p class="shortcomment cmt">Composition f *: g is f(g(_))
</p><div class="fullcomment"><div class="comment cmt"><p>Composition f *: g is f(g(_))
</p></div><dl class="attributes block"><dt>Definition Classes</dt><dd><a href="AdjDiffbleFunction.html" name="provingground.learning.AdjDiffbleFunction" id="provingground.learning.AdjDiffbleFunction" class="extype">AdjDiffbleFunction</a></dd></dl></div></li><li 