All public logs
Jump to navigation
Jump to search
Combined display of all available logs of ProofWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 12:19, 21 July 2016 Keith.U talk contribs moved page Exponential Function is Well-Defined/Real/Proof 4/Lemma to Exhausting Sequence of Sets on the Strictly Positive Real Numbers
- 11:43, 14 July 2016 Keith.U talk contribs moved page Power of Positive Real Number is Positive/Natural Number to Power of Strictly Positive Real Number is Strictly Positive/Positive Integer
- 11:21, 14 July 2016 Keith.U talk contribs moved page Power Function on Base Greater than One is Strictly Increasing/Natural Number to Power Function on Base Greater than One is Strictly Increasing/Positive Integer
- 11:14, 14 July 2016 Keith.U talk contribs moved page Power Function on Base between Zero and One is Strictly Decreasing/Natural Number to Power Function on Base between Zero and One is Strictly Decreasing/Positive Integer
- 09:11, 13 July 2016 Keith.U talk contribs moved page Definition:Continuous Extension/Real Function to Definition:Real Continuous Extension
- 00:43, 13 July 2016 Keith.U talk contribs moved page Power Function on Base Greater than One is Strictly Convex to Power Function on Strictly Positive Base is Convex (Easy generalisation. Strictness for nonzero base to be resurrected on separate page later)
- 07:09, 10 July 2016 Keith.U talk contribs moved page Linear Combination of Convergent Sums to Linear Combination of Convergent Series
- 07:09, 10 July 2016 Keith.U talk contribs moved page Linear Combination of Convergent Sequences to Linear Combination of Convergent Sums
- 04:52, 8 July 2016 Keith.U talk contribs moved page Product of Positive Increasing Functions is Increasing to Product of Increasing Positive Functions is Increasing
- 20:47, 6 July 2016 Keith.U talk contribs moved page Exponential with Arbitrary Base is Continuous to Exponential with Arbitrary Base is Continuous/Real Power
- 12:53, 3 July 2016 Keith.U talk contribs moved page Union of Inverse is Inverse of Union/Mapping to Union of Inverse Mappings is Inverse of Union of Mappings
- 12:53, 3 July 2016 Keith.U talk contribs moved page Talk:Union of Inverse is Inverse of Union/Mapping to Talk:Union of Inverse Mappings is Inverse of Union of Mappings
- 01:21, 2 July 2016 Keith.U talk contribs moved page Derivative of Uniformly Convergent Sequence of Continuously Differentiable Functions to Derivative of Uniformly Convergent Sequence of Differentiable Functions
- 17:53, 30 June 2016 Keith.U talk contribs moved page Definition talk:Jump Discontinuity to Definition talk:Discontinuity of the First Kind
- 17:53, 30 June 2016 Keith.U talk contribs moved page Definition:Jump Discontinuity to Definition:Discontinuity of the First Kind
- 22:02, 29 June 2016 Keith.U talk contribs moved page Uniformly Convergent iff Difference Under Supremum Norm Vanishes to Uniformly Convergent iff Difference Under Supremum Metric Vanishes
- 21:01, 29 June 2016 Keith.U talk contribs moved page Subsets Inherit Uniform Convergence to Uniform Convergence is Hereditary
- 16:31, 28 June 2016 Keith.U talk contribs moved page Exponential with Arbitrary Base is Continuous/Rational Number to Exponential with Arbitrary Base is Continuous
- 04:37, 27 June 2016 Keith.U talk contribs moved page Definition:Definition:Strictly Positive/Real Number/Definition 2 to Definition:Strictly Positive/Real Number/Definition 2 (I'm very stupid)
- 04:37, 27 June 2016 Keith.U talk contribs moved page Strictly Positive/Real Number/Definition 2 to Definition:Definition:Strictly Positive/Real Number/Definition 2 (Misnamed)
- 12:57, 19 June 2016 Keith.U talk contribs moved page Rational Power Permits Unique Continuous Extension to Exponential with Rational Power Permits Unique Continuous Extension (Harmonising name with the other named theorems upon which this proposition builds.)
- 12:57, 19 June 2016 Keith.U talk contribs moved page Talk:Rational Power Permits Unique Continuous Extension to Talk:Exponential with Rational Power Permits Unique Continuous Extension (Harmonising name with the other named theorems upon which this proposition builds.)
- 12:29, 19 June 2016 Keith.U talk contribs moved page Exponential with Base Between Zero and One Tends to One as Power Tends to Zero/Rational Number to Exponential with Base between Zero and One Tends to One as Power Tends to Zero/Rational Number ("Between" is a proposition and thus deserves no initial capital)
- 05:07, 13 June 2016 Keith.U talk contribs moved page Definition:Exponential/Definition 5 to Definition:Exponential/Real/Definition 5 (Moved to "real" subpage to better harmonize with complex definitions.)
- 05:06, 13 June 2016 Keith.U talk contribs moved page Definition:Exponential/Definition 4 to Definition:Exponential/Real/Definition 1 (Moved to "real" subpage to better harmonize with complex definitions. Changed numbering from 4 to 1 so the equivalences may be shown systematically with as much ease as possible.)
- 05:05, 13 June 2016 Keith.U talk contribs moved page Definition:Exponential/Definition 3 to Definition:Exponential/Real/Definition 2 (Moved to "real" subpage to better harmonize with complex definitions. Changed numbering from 3 to 2 so the equivalences may be shown systematically with as much ease as possible.)
- 05:03, 13 June 2016 Keith.U talk contribs moved page Definition:Exponential/Definition 2 to Definition:Exponential/Real/Definition 3 (Moved to "real" subpage to better harmonize with complex definitions. Changed numbering from 2 to 3 so the equivalences may be shown systematically with as much ease as possible.)
- 05:03, 13 June 2016 Keith.U talk contribs moved page Definition talk:Exponential/Definition 2 to Definition talk:Exponential/Real/Definition 3 (Moved to "real" subpage to better harmonize with complex definitions. Changed numbering from 2 to 3 so the equivalences may be shown systematically with as much ease as possible.)
- 05:02, 13 June 2016 Keith.U talk contribs moved page Definition:Exponential/Definition 1 to Definition:Exponential/Real/Definition 4 (Moved to "real" subpage to better harmonize with complex definitions. Changed numbering from 1 to 4 so the equivalences may be shown systematically with as much ease as possible.)