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$).

In [1]:
import proveit
%theory # toggles between interactive and static modes

Local content of this theory

All axioms contained within this theory

This theory contains no axioms directly.