expression_depth

proveit.expression_depth(expr)[source]

Returns the depth of the expression tree for the given expression.