

@staticmethod
def Add(expr, assumptions):
    '\n        Integer + Integer       -> Integer\n        Integer + !Integer      -> !Integer\n        !Integer + !Integer -> ?\n        '
    if expr.is_number:
        return AskIntegerHandler._number(expr, assumptions)
    return test_closed_group(expr, assumptions, Q.integer)

dataset/ETHPy150Open sympy/sympy/sympy/assumptions/handlers/sets.py AskIntegerHandler.Add/original