**Field form** (unramified `K/ℚ_p`): the densities are values of explicit rational functions `A = (monicExpr n σ).rational`, `R = (projectiveExpr n σ).rational`, regular at every prime p

Initializing...

**Field form** (unramified `K/ℚ_p`): the densities are values of explicit rational functions `A = (monicExpr n σ).rational`, `R = (projectiveExpr n σ).rational`, regular at every prime p · Prove2Me