Skip to main content

mul_commutative

logicaffeine_kernel::word_ring

Function mul_commutative 

Source 
pub fn mul_commutative() -> bool
Expand description

a · b = b · a — multiplicative commutativity in ℤ/2ⁿ.