Expand description

Implementations of ModIsReduced, a trait for checking whether a number is reduced modulo another number.