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

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

The left inverse axiom.