These are archival webpages, generated on 2023-03-20 by Prove-It Beta Version 0.3, licensed under the GNU Public Licence by Sandia Corporation. See pyproveit.org for the lastest version.
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.