Talk:General Associativity Theorem/Formulation 3

I can't tell where the proof of the lemma finishes and the proof of the theorem starts ... or am I just dumb? --prime mover (talk) 12:15, 3 October 2014 (UTC)