Trait nekolib::traits::multiplicative::MulAssoc

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).$

Implementations on Foreign Types§