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