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

pub fn right_inverse<T: MulGroup>(x: &T) -> bool

The right multiplicative inverse axiom.