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)


 * All refactoring, including the one for Lemma 1, has been done now. So, I think that the refactor template can be removed. I would like to do this, does anybody mind? --Ivar Sand (talk) 05:14, 13 November 2019 (EST)

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)