Drop the stats module (separate package?)

diofant/printing/latex.py

@@ -1471,9 +1471,6 @@ def _print_ProductSet(self, p):
         else:
             return r' \times '.join(self._print(set) for set in p.sets)
 
-    def _print_RandomDomain(self, d):
-        return 'Domain: ' + self._print(d.as_boolean())
-
     def _print_FiniteSet(self, s):
         items = sorted(s.args, key=default_sort_key)
         return self._print_set(items)

diofant/printing/pretty/pretty.py

@@ -1604,11 +1604,6 @@ def _print_KroneckerDelta(self, e):
         bot = stringPict(*a.right(' '*b.width()))
         return prettyForm(binding=prettyForm.POW, *bot.below(top))
 
-    def _print_RandomDomain(self, d):
-        pform = self._print('Domain: ')
-        pform = prettyForm(*pform.right(self._print(d.as_boolean())))
-        return pform
-
     def _print_Tr(self, p):
         # TODO: Handle indices
         pform = self._print(p.args[0])

diofant/printing/str.py

@@ -113,9 +113,6 @@ def _print_dict(self, d):
     def _print_Dict(self, expr):
         return self._print_dict(expr)
 
-    def _print_RandomDomain(self, d):
-        return 'Domain: ' + self._print(d.as_boolean())
-
     def _print_Dummy(self, expr):
         return '_' + expr.name