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)