On Tue, 21 Dec 2021, Elijah Stone wrote:
observing that + is commutative
+ must be both associative and commutative.(That is what I originally wrote, and right before sending I thought commutativity alone might be sufficient. I am not sure why I thought that.)
---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
