un_algebra::group::mul_group
pub fn num_inverse<T: MulGroup + NumEq>(x: &T, eps: &T::Eps) -> bool
The two sided numerical multiplicative inverse axiom.