ubstitution of a Term by another."><span class="name">Subst</span></a><span class="tparams">[<span name="A">A</span>]</span><span class="result"> extends <a href="../scala/index.html#AnyRef=Object" name="scala.AnyRef" id="scala.AnyRef" class="extmbr">AnyRef</a></span></span><p class="shortcomment cmt">allows substitution of a <code>Term</code> by another.</p></li><li class="indented0 " name="provingground.SubstImplicits" group="Ungrouped" fullComment="no" data-isabs="true" visbl="pub"><a id="SubstImplicitse