Trait nekolib::traits::multiplicative::MulAssoc
source · pub trait MulAssoc: Mul<Output = Self> + Sized { }Expand description
乗法が結合法則を満たすことを示す。
$$ x, y, z \in S \implies (x \times y) \times z = x \times (y \times z). $$