Trait Group
fructose::algebra::group
pub trait Group<O: Operator>: Magma<O> + Groupoid<O> { }
impl<T, O: Operator> Group<O> for T where T: Magma<O> + Groupoid<O>,