wrong associativity in docs

Stream: general

[Junyan Xu]

docs#semigroup shows
mul_assoc : ∀ (a b c : G), (a * b) * c = a * b * c
but in the source it's
(mul_assoc : ∀ a b c : G, a * b * c = a * (b * c))
so it seems doc_gen somehow assumes * is right-associative?

[Reid Barton]

most likely related to https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/pow.2Fmul.20associativity/near/264683881