Fix import and naming in failing doctest.
modified:   sympy/utilities/enumerative.py