un_algebra::group::mul_group
pub fn inverse<T: MulGroup>(x: &T) -> bool
The two sided multiplicative inverse axiom.