pe">Inherited<br/></span><ol id="linearization"><li class="in" name="provingground.learning.GlobalProver.Elementary"><span>Elementary</span></li><li class="in" name="java.io.Serializable"><span>Serializable</span></li><li class="in" name="scala.Product"><span>Product</span></li><li class="in" name="scala.Equals"><span>Equals</span></li><li class="in" name="provingground.learning.GlobalProver"><span>GlobalProver</span></li><li class="in" name="scala.AnyRef"><span>AnyRef</span></li><li class="in" name="scala.