Talk:General Associativity Theorem

From ProofWiki
Jump to: navigation, search

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)

Personal tools
Namespaces
Variants
Actions
Navigation
ProofWiki.org
ToDo
Toolbox
Google AdSense