Skip to main content

mul_associative

logicaffeine_kernel::word_ring

Function mul_associative 

Source 
pub fn mul_associative() -> bool
Expand description

(a · b) · c = a · (b · c) — multiplicative associativity in ℤ/2ⁿ.