instead"><span class="name">coarse</span></a></span><p class="shortcomment cmt">an earlier implementation of induction, without clean separation of codomain scala types;
use <a href="index.html" name="provingground.induction" id="provingground.induction" class="extype">induction</a> instead
</p><div class="fullcomment"><div class="comment cmt"><p>an earlier implementation of induction, without clean separation of codomain scala types;
use <a href="index.html" name="provingground.induction" id="provingground