Residue field `𝔽₂`: a random monic quartic is irreducible of type `(2,2)` with probability `454/7665`.

Initializing...

Residue field `𝔽₂`: a random monic quartic is irreducible of type `(2,2)` with probability `454/7665`. · Prove2Me