pub trait AddAssoc: Add<Output = Self> + Sized { }Expand description
加法が結合法則を満たすことを示す。
$$ x, y, z \in S \implies (x + y) + z = x + (y + z). $$
pub trait AddAssoc: Add<Output = Self> + Sized { }加法が結合法則を満たすことを示す。
$$ x, y, z \in S \implies (x + y) + z = x + (y + z). $$