Boolean Group is Abelian

Theorem
Let $G$ be a Boolean group.

Then $G$ is abelian.

Proof
By Group Element is Self-Inverse iff Order 2 and Identities all Self-Inverse, all elements of $G$ are self-inverse.

The result follows directly from All Self-Inverse then Abelian.