Talk:Power Function to Rational Power permits Unique Continuous Extension
On the Corollary
On the corollary: is the result too obvious? I had reservations as to whether I should create it, but I wanted a single theorem for referencing when defining the exponential as the extension of the rational power of base e. I welcome any criticisms to this. --Keith.U 21:05, 13 June 2016 (UTC)
- Obvious though it is, I would not leave it as a corollary -- instead I would raise it as a page in its own right specific to the Exponential function. It's too fundamentally important a step towards the full rigorous definition of the exp function to leave hidden away as a corollary.