Talk:Lifting The Exponent Lemma for Sums

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)