Hey, Bo. I thought I'd add an equivalent expression to the Leau Flower theorem, which is just my way of phrasing The result through Milnor's lens.
If \(\mathcal{N}\) is a neighborhood of \(0\); then:
\[
\bigcap_{n=0}^\infty f^{\circ n}(\mathcal{N}) \cup f^{\circ -n}(\mathcal{N}) =\mathcal{U}\\
\]
And the set \(\mathcal{U}\) is a neighborhood of \(0\). Which is just a fancy way of doing the petal theorem.
If \(\mathcal{N}\) is a neighborhood of \(0\); then:
\[
\bigcap_{n=0}^\infty f^{\circ n}(\mathcal{N}) \cup f^{\circ -n}(\mathcal{N}) =\mathcal{U}\\
\]
And the set \(\mathcal{U}\) is a neighborhood of \(0\). Which is just a fancy way of doing the petal theorem.