roduct"><span>Product</span></li><li class="in" name="scala.Equals"><span>Equals</span></li><li class="in" name="provingground.translation.Statement.Define"><span>Define</span></li><li class="in" name="provingground.translation.Statement.Assertion"><span>Assertion</span></li><li class="in" name="provingground.translation.Statement"><span>Statement</span></li><li class="in" name="scala.AnyRef"><span>AnyRef</span></li><li class="in" name="scala.Any"><span>Any</span></li></ol></div><div class="ancestors"><span