used_vars

proveit.used_vars(expr)[source]

Return all of the used Variables of this Expression, included those in sub-expressions.