[][src]Function un_algebra::group::mul_group::num_right_inverse

pub fn num_right_inverse<T: MulGroup + NumEq>(x: &T, eps: &T::Eps) -> bool

The right numerical multiplicative inverse axiom.