Function has_inverses 

pub fn has_inverses<T, F>(elements: &[T], operation: F, identity: T) -> bool
where
    T: Copy + PartialEq,
    F: Fn(T, T) -> T + Copy,

Returns whether every value in elements has a two-sided inverse with respect to identity and operation.