Question
Does `x^2 - x - 1` have roots in `ZZ_2` ?
Close the window and click for the next page...
Close the window and try once more...