P
Initializing...
The three quadratic monic types are equidistributed at `q = 2`: split. · Prove2Me