In a tower `O → O_δ → B` with `O_δ` unramified over `O`, ramification indices over `O` and over `O_δ` agree.

Initializing...

In a tower `O → O_δ → B` with `O_δ` unramified over `O`, ramification indices over `O` and over `O_δ` agree. · Prove2Me