What's the name of the property that $a \cdot (b / c) = (a \cdot b) / c?$ Is there a name for this property?
$$a \cdot (b/c) = (a \cdot b) / c$$
It's similar to associativity, but between two different operators, and it only works if the multiplication is on the left...
Does this have a name or does it somehow follow from other properties?

This is often called a $\,\color{#c00}{mixed}\,$ associative law, e.g. the common case of scalar multiplication
$$  c(x\cdot y)\, =\, (cx)\cdot y $$
Here the modifier $\,\color{#c00}{mix}\,$ signifies the associative combination of different operations.
