Residue field `𝔽₂`: a random monic quartic is a product of two distinct inert quadratics with probability `664/22995`.

Initializing...

Residue field `𝔽₂`: a random monic quartic is a product of two distinct inert quadratics with probability `664/22995`. · Prove2Me