P
Initializing...
On `Wp`, the coordinates in `Q` determine the vector (round six, `eq_zero_of_Q`) · Prove2Me