4 ms·
You don't need associativity: (x ⋅ x) ⋅ x (x) ⋅ x x ⋅ (x) x ⋅ (x ⋅ x)
by GrantMoyer 2y ago
You don't need associativity:
(x ⋅ x) ⋅ x
(x) ⋅ x
x ⋅ (x)
x ⋅ (x ⋅ x)
- a1369209993 2y agoYou do need (some subset of) associativity: (y0 * x) * x ?= y0 * (x * x) y1 * x ?= y0 * x y2 ?= y1 y2 is not in general constrained to be the same as y1 otherwise.