**Quadratic monic densities.** For every `q > 1`, the universal monic expressions of degree `2` take the values `q / (2(q + 1))` (split and inert types) and `1 / (q + 1)` (ramified type), and vanish o

Initializing...

**Quadratic monic densities.** For every `q > 1`, the universal monic expressions of degree `2` take the values `q / (2(q + 1))` (split and inert types) and `1 / (q + 1)` (ramified type), and vanish o · Prove2Me