Abelian_Group.V
val commutativity : Float.Additive.Abelian_Group.t -> Float.Additive.Abelian_Group.t -> bool