Theory of proveit.core_expr_types.indexed_vars

Theory related to IndexedVar types of Prove-It expressions. An IndexedVar represents an indexed variable, such as $x_1$ or $y_n$, and is intended to be contained in an ExprRange (e.g., $x_1, \ldots, x_n$).

import proveit
%theory # toggles between interactive and static modes

Local content of this theory

common expressions	axioms	theorems	demonstrations

Sub-theories

All axioms contained within this theory

This theory contains no axioms directly.