pub trait MulAssoc: Mul<Output = Self> + Sized { }
乗法が結合法則を満たすことを示す。
x,y,z∈S ⟹ (x×y)×z=x×(y×z). x, y, z \in S \implies (x \times y) \times z = x \times (y \times z). x,y,z∈S⟹(x×y)×z=x×(y×z).