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

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

The left multiplicative inverse axiom.