Residue field `𝔽₂`: a random primitive binary quartic form is totally ramified with probability `856/15841`.

Initializing...

Residue field `𝔽₂`: a random primitive binary quartic form is totally ramified with probability `856/15841`. · Prove2Me