End-to-end test: over `𝔽₂⟦X⟧`, a random monic quartic is totally ramified with probability `107/1533`.

Initializing...

End-to-end test: over `𝔽₂⟦X⟧`, a random monic quartic is totally ramified with probability `107/1533`. · Prove2Me