logo
In [1]:
# import the special expression
from proveit.logic.set_theory._axioms_ import enumEmpty
In [2]:
# check that the built expression is the same as the stored expression
%check_expr enumEmpty
Passed sanity check: built 'enumEmpty' is the same as the stored Expression.
In [3]:
# display the expression information
enumEmpty.exprInfo()
Out[3]:
 core typesub-expressionsexpression
0Operationoperator: 1
operands: 2
1Literal
2ExprList3, 4
3Literal
4Operationoperator: 5
operands: 6
5Literal
6ExprList