Function un_algebra::com_group::add_com_group::commutivity

pub fn commutivity<T: AddComGroup>(x: &T, y: &T) -> bool

The additive commutivity axiom.