@staticmethod
    def Add(expr, assumptions):
        if expr.is_number:
            return AskRealHandler._number(expr, assumptions)
        return test_closed_group(expr, assumptions, Q.real)
Real + Real              -> Real
dataset/ETHPy150Open sympy/sympy/sympy/assumptions/handlers/sets.py/AskRealHandler.Add