For an integral injective extension of DVRs `O → B`, `m_O B = m_B^e` with `e` the ramification index.

Initializing...

For an integral injective extension of DVRs `O → B`, `m_O B = m_B^e` with `e` the ramification index. · Prove2Me