11/docs/api/java.base/java/io/Serializable.html#java.io.Serializable" name="java.io.Serializable" id="java.io.Serializable" class="extype">Serializable</a>, <span name="scala.Product" class="extype">Product</span>, <span name="scala.Equals" class="extype">Equals</span>, <a href="GlobalProver.html" name="provingground.learning.GlobalProver" id="provingground.learning.GlobalProver" class="extype">GlobalProver</a>[<span name="provingground.learning.GlobalProver.Elementary.R" class="extype">R</span>], <a href="