Talk:Existence and Uniqueness of Positive Root of Positive Real Number

Refactoring
There are a number of results and subresults:


 * Existence of Positive Root of Positive Real Number
 * Existence of Positive Root of Positive Real Number/Positive Exponent
 * Existence of Positive Root of Positive Real Number/Negative Exponent


 * Uniqueness of Positive Root of Positive Real Number
 * Uniqueness of Positive Root of Positive Real Number/Positive Exponent
 * Uniqueness of Positive Root of Positive Real Number/Negative Exponent

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! &mdash; 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)