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! — 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)