[−][src]Trait un_algebra::group::add_group::AddGroupLaws

pub trait AddGroupLaws: AddGroup {
    fn left_inverse(&self) -> bool { ... }

    fn right_inverse(&self) -> bool { ... }

    fn inverses(&self) -> bool { ... }
}

Laws of additive groups.

Provided methods

fn left_inverse(&self) -> bool

The left additive inverse axiom.

fn right_inverse(&self) -> bool

The right additive inverse axiom.

fn inverses(&self) -> bool

The two-sided additive inverse axiom.

Loading content...

Implementors

impl<G: AddGroup> AddGroupLaws for G[src]

Blanket implementation of additive group laws for additive group implementations.

Loading content...