p ramifies⇔p∣Δ_K algebraic-number-theory Jan 15, 2024 $p$ ramifies$⇔p∣Δ_K$ DISCRIMINANTS AND RAMIFIED PRIMES PREVIOUSC([0,1]) is not reflexiveNEXTSheet 1 Q6