Skip to main content
add_commutative
logicaffeine_
kernel
0.10.0
In logicaffeine_
kernel::
word_
ring
logicaffeine_kernel
::
word_ring
Function
add_
commutative
Copy item path
Source
pub fn add_commutative() ->
bool
Expand description
a + b = b + a
— additive commutativity in ℤ/2ⁿ.