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)