These are archival webpages, generated on 2023-03-20 by Prove-It Beta Version 0.3, licensed under the GNU Public Licence by Sandia Corporation. See pyproveit.org for the lastest version.
Given an ExprTuple of only IndexedVar and ExprRange entries, returns
an ExprTuple of just the corresponding indices (including ranges of
indices and nested ranges of indices).