[−][src]Function un_algebra::group::mul_group::left_inverse
pub fn left_inverse<T: MulGroup>(x: &T) -> bool
The left multiplicative inverse axiom.
pub fn left_inverse<T: MulGroup>(x: &T) -> bool
The left multiplicative inverse axiom.