Talk:Non-Zero Real Numbers under Multiplication form Abelian Group

Am I missing something or does this follow from: Real Numbers under Multiplication form Monoid, Inverse for Real Multiplication and Invertible Elements of Monoid form Subgroup of Cancellable Elements. Wanfactory (talk) 17:39, 20 December 2016 (EST)


 * Removing a proof and replacing it with something else is considered suboptimal. See Help:FAQ/Questions about contributions/You undid my corrections. --prime mover (talk) 17:50, 20 December 2016 (EST)


 * The previous proof was considered questionable. The invertible elements of Monoid result seem to take care of the problematic parts. Wanfactory (talk) 18:13, 20 December 2016 (EST)


 * Questionable solely because of one technical detail that can be fixed in a straightforward manner. --prime mover (talk) 18:24, 20 December 2016 (EST)


 * ... which has now been attended to. --prime mover (talk) 18:32, 20 December 2016 (EST)
 * My apologies. Am I correct in understanding that adding an alternate proof is preferrable to completely reworking a questionable proof? Wanfactory (talk) 19:11, 20 December 2016 (EST)


 * Unless (according to a recent informal ruling):
 * a) the questionable approach is completely irretrievable, and after discussion on the talk page it has been agreed that it will be disposed of
 * b) You wrote the questionable proof yourself and you are pretty sure your approach was a dead end
 * then yes. Deleting someone else's stuff to make way for yours -- particularly if your proof uses a different approach -- is considered to be poor manners. --prime mover (talk) 01:19, 21 December 2016 (EST)