If $p$ misses the index $[\mathcal{O}_K:\mathbb{Z}[\theta]]$ it misses the exponent of $\theta$

Initializing...

If $p$ misses the index $[\mathcal{O}_K:\mathbb{Z}[\theta]]$ it misses the exponent of $\theta$ · Prove2Me