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)