Question
Is `"{"rho_0"}" times ZZ_5 cong ZZ_5` ?
Close the window and click for the next page...
Close the window and try once more...