Residue field `𝔽₂`: a random monic quartic is totally ramified with probability `107/1533`.

Initializing...

Residue field `𝔽₂`: a random monic quartic is totally ramified with probability `107/1533`. · Prove2Me