used_literals

proveit.used_literals(expr)[source]

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