logo

Demonstrations for the theory of proveit.core_expr_types.indexed_vars

In [1]:
import proveit
%begin demonstrations
In [2]:
from proveit import ExprRange, ExprTuple, IndexedVar
from proveit import a, b, c, i, j, k, l, x, y, z
In [3]:
from proveit import defaults
defaults.automation = False
defaults.automation: False
In [4]:
ExprRange(k, IndexedVar(x, k), i, j)._free_var_ranges()
In [5]:
ExprRange(l, ExprRange(k, IndexedVar(x, (k, l)), i, j), a, b)
In [6]:
ExprRange(l, ExprRange(k, IndexedVar(x, (k, l)), i, j), a, b)._free_var_ranges()
In [7]:
ExprRange(l, ExprRange(k, IndexedVar(x, (l, k)), i, j), a, b)._free_var_ranges()
In [8]:
%end demonstrations