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