Item
0.2.17.d
.
\(\forall x \forall y (x^3 = y^3 \imp x = y)\text{.}\)
in-context