Nimber arithmetic: Difference between revisions