Over any complete DVR with finite residue field of cardinality `q`, a random monic quadratic is ramified (type `(2,1)`) with probability `1 / (q + 1)`.

Initializing...

Over any complete DVR with finite residue field of cardinality `q`, a random monic quadratic is ramified (type `(2,1)`) with probability `1 / (q + 1)`. · Prove2Me