Talk:Continuous Real Function Differentiable on Borel Set

Sorry and thanks, I'm rather out of practice. What is \map? --GFauxPas (talk)

Oh I think I get it. --GFauxPas (talk)

A lot of this new stuff is to get rid of the hugely unpopular style where \left({ and }\right) were required. Now we have things like \map {} and \tuple {} and \struct {} and \paren {} and all sorts of other things so as to make all that unneeded. See the main page discussion talk page for a complete transclusion of the howto for all the custom commands. --prime mover (talk) 18:41, 5 February 2020 (EST)

Rational Epsilon and Delta

Do we have a page saying that for the epsilon deltas used in limits of real functions, it's sufficient to choose only rational epsilons and deltas? --GFauxPas (talk) 11:11, 6 February 2020 (EST)

A very good question. There ought to be. Feel free to hunt it down and, if you're of a mind, to fill that gap if it's not. --prime mover (talk) 11:31, 6 February 2020 (EST)

... good job. --prime mover (talk) 18:56, 6 February 2020 (EST)

POTW Candidate

A neat proof, we can have this. I have taken the liberty of slight restructuring here and there, and being rigorous with links (important if we are POTWing it). --prime mover (talk) 10:56, 12 February 2020 (EST)

I found the proof sketch on math.stackexchange and I liked it so I asked a Discord math chat server I'm part of to help finish the proof :) --GFauxPas (talk) 11:06, 12 February 2020 (EST)