var_range

proveit.var_range(var, start_index_or_indices, end_index_or_indices)[source]