Talk:Lifting The Exponent Lemma for Sums

From ProofWiki
Jump to navigation Jump to search

Adding this as a corollary makes the page Lifting The Exponent Lemma even more messy. It's cleaner to give it its own page. Also, the title is more descriptive. --barto (talk) 10:23, 23 August 2017 (EDT)

With 'title', I mean Lifting The Exponent Lemma for Sums. --barto (talk) 11:27, 23 August 2017 (EDT)
No worries. it was your page to begin with anyway. --prime mover (talk) 15:21, 23 August 2017 (EDT)
Thanks. Nothing here belongs to me though. --barto (talk) 16:28, 23 August 2017 (EDT)
Well no, but the thinking was that since you posted it up, you're more likely to have a strategy for where this train of thought is directed. The assumption is that a result crafted with this level of structure may be part of an underlying strategy of presentation which you may have been driving towards. While it's a wiki, and indeed nobody owns the page and anyone can change anything as they see fit, this site is different in that pages are never completely standalone, and the context into which they fit into a wider philosophical schema is often highly relevant. So it is often a good idea to check with the person who originally posted it up, if they are currently active. --prime mover (talk) 02:55, 24 August 2017 (EDT)