Talk:Oscillation at Point (Infimum) equals Oscillation at Point (Limit)
I have finished working on the theorem.
The criticism in the refactor template has been addressed with the following exceptions:
- "At least one of the lemmas β¦ already exists on π―πβπΏπΆππ β¦π". I'm sorry to say that I did not understand what lemma this was, and what counterpart it had on π―πβπΏπΆπππ.
- "The rest of the lemmas are to be removed and placed into proof pages β¦". This has been done with the exception of Lemma 1. I have let Lemma 1 remain on this page as I think that the connection between this lemma and the theorem is so intimate that they should be on the same page. Also, Lemma 1 is not interesting enough by itself to warrant putting it on its own page in my opinion.
- "Then the rest of the theorem is to be analysed to see whether sub-results already exist β¦": Most of the statements concern oscillations or neighborhoods. I have searched for theorems that contain any of these two words but have found none to be relevant.
- Okay no worries, I will get to it in due course. Or someone will. --prime mover (talk) 13:54, 18 October 2016 (EDT)
There's still some work I want to do on this page: reviewing links to pages which are subpages of other pages, and improving the readability of some of the more complicated expressions. I just need to get motivated. --prime mover (talk) 09:50, 13 November 2019 (EST)