Module Abelian_Group.V

val commutativity : G.t -> G.t -> bool