from jupyter_math.main import Intermediate
from jupyter_math.main import EventSet, SumOverFiniteSet
from jupyter_math.main import Definition as Def, Probability as Pr

EXPAND_OUTER_SUM = Intermediate.EXPAND_OUTER_SUM
SUBSTITUTE_ALL = Intermediate.SUBSTITUTE_ALL
GET_RESULT = Intermediate.GET_RESULT
