The SlugMath Wiki is under heavy development!
State/Cancellation in groups
Proposition: (Cancellation in groups) Suppose that $G$ is a group, and $g,x,y \in G$. Then, if $gx = gy$, then $x = y$. Similarly, if $xg = yg$, then $x = y$.
This statement logically relies on the following definitions and statements: Def/Group
To visualize the logical connections between this statements and other items of mathematical knowledge, you can visit the following cluster(s), and click the "Visualize" tab: Clust/Basic group theory