Talk:Ordinal Exponentiation via Cantor Normal Form/Corollary

Is there a difference between "strictly monotone decreasing" and "strictly decreasing" in any of this? If not, then I suggest that "monotone" be removed as it's an extra unnecessary (and jargonistic) word, and a link to Definition:Strictly Decreasing Sequence be used instead. --prime mover 13:06, 18 August 2012 (UTC)

Not. I thought I had caught all instances of this construct, though. Thanks for pointing. --Lord_Farin 13:27, 18 August 2012 (UTC)

There are still some more. I am changing them as I find them. --prime mover 13:42, 18 August 2012 (UTC)

... think I've got them all now. --prime mover 14:21, 18 August 2012 (UTC)