Module malachite_nz::natural::arithmetic::mod_power_of_2_is_reduced
source · [−]Expand description
Implementations of
ModPowerOf2IsReduced, a
trait for checking whether a number is reduced modulo $2^k$.