The order defect does not increase under an unramified extension of the coefficient DVR.

Initializing...

The order defect does not increase under an unramified extension of the coefficient DVR. · Prove2Me