Function un_algebra::quasigroup::quasigroup::num_right_lcancellation

pub fn num_right_lcancellation<T: Quasigroup + NumEq>(
    x: &T, 
    y: &T, 
    eps: &T::Eps
) -> bool

The right axiom of numeric left-cancellation.