In a tower `O → O_δ → B` with `O_δ` unramified of rank `δ` over `O`, inertia degrees over `O` are `δ` times inertia degrees over `O_δ`.

Initializing...

In a tower `O → O_δ → B` with `O_δ` unramified of rank `δ` over `O`, inertia degrees over `O` are `δ` times inertia degrees over `O_δ`. · Prove2Me