Talk:Borel's lemma

This result was proven by Giuseppe Peano 11 years before Borel, his name should be added (and maybe the page renamed). Source: Peano's Unnoticed Proof of Borel's Theorem (2014) Victor d&#39;Orsay (talk) 16:34, 11 March 2021 (UTC)

Link to PlanetMath is broken.--131.234.106.197 (talk) 13:57, 17 March 2011 (UTC)

Why the link for "Borel's theorem on power series" is redirecting here?
I don't think these are the same theorems. For more information about the "Borel's theorem on power series", see for example the discussion on: https://math.stackexchange.com/questions/63050/every-power-series-is-the-taylor-series-of-some-c-infty-function — Preceding unsigned comment added by 45.166.163.85 (talk) 18:45, 5 December 2021 (UTC)