Function lattices::algebra::no_nonzero_zero_divisors

source ยท 
pub fn no_nonzero_zero_divisors<S: Debug + PartialEq + Clone, const N: usize>(
    items: &[S; N],
    f: &impl Fn(S, S) -> S,
    zero: S,
) -> Result<(), &'static str>
Expand description

Defines a no-nonzero-zero-divisors property.

x is a nonzero divisor if xy = 0 and y is also a nonzero element.