" id="provingground" class="extype">provingground</a>.<a href="index.html" name="provingground.learning" id="provingground.learning" class="extype">learning</a>.<a href="GlobalProver$.html" name="provingground.learning.GlobalProver" id="provingground.learning.GlobalProver" class="extype">GlobalProver</a></p><h1>Elementary<span class="permalink"><a href="../../provingground/learning/GlobalProver$$Elementary.html" title="Permalink"><i class="material-icons"></i></a></span></h1><h3><span class="morelinks"><