Talk:Existence and Uniqueness of Positive Root of Positive Real Number
Jump to navigation
Jump to search
Refactoring
There are a number of results and subresults:
each of which may have multiple proofs.
The existing pages have got confused. My bad.
Refactoring exercise under way. Needs more time than I have at this moment. It will wait till this evening or tomorrow. --prime mover (talk) 03:10, 3 January 2020 (EST)
- This has been done. I will revisit the sources. --prime mover (talk) 16:24, 3 January 2020 (EST)
- Your tireless efforts continue to be appreciated! — Lord_Farin (talk) 17:33, 3 January 2020 (EST)
- My recent acquisition of a beautifully-preserved copy of Baby Rudin is helping me see real analysis with a new pair of eyes. :-) A hole has been plugged. --prime mover (talk) 18:23, 3 January 2020 (EST)