Talk:General Associativity Theorem
From ProofWiki
Isn't this technically limited to proving associativity for any countable number of operations? Of course, you probably will never have an uncountable number of associative operations, but we should still be clear. --Cynic (talk) 04:51, 10 May 2010 (UTC)
Probably is, actually. It's a fine point with (it seems to me) limited relevance ... I need to tidy this page up some time, but it won't be immediate. --Matt Westwood 05:37, 10 May 2010 (UTC)