Triple products in statements

Stream: maths

[Antoine Chambert-Loir]

Just a question, feel free to move it to #new members :
When some statements use a triple product a * b * c, where a, b, c are themselves complicated expressions (in a monoid), which form of associativity is it recommended to use: the implicit one a * b * c = (a * b) * c, or the other one, a * (b * c) into which mul_assoc converts?

[Yaël Dillies]

The implicit one is the most common.