generate_inner_expressions

proveit.generate_inner_expressions(expr, inner)[source]

Yield the InnerExpr objects that represent ‘inner’ as an inner expression of ‘expr’. There may be multiple occurrences. They are found using a breadth-first search approach.