def _eval_rewrite_as_factorial(self, n, k):
        return factorial(n)/(factorial(k)*factorial(n - k))
dataset/ETHPy150Open sympy/sympy/sympy/functions/combinatorial/factorials.py/binomial._eval_rewrite_as_factorial/original