Talk:Order is Preserved on Positive Reals by Squaring

From ProofWiki
Jump to navigation Jump to search

Why don't you think the technique in Order of Squares in Totally Ordered Ring without Proper Zero Divisors is valuable to someone who hasn't yet studied rings? --Dfeuer (talk) 07:42, 16 January 2013 (UTC)

This comment is in relation to what? The revert I did? I removed the "expand" for two reasons: a) because there's already a proof up there (proof 3) which appears to do exactly what you suggest, and b) this is not what the "expand" template was envisaged for. If you want to add a proof, add it, don't litter the website with your little "to do" lists, it makes the place look untidy. --prime mover (talk) 12:05, 16 January 2013 (UTC)