亨泽尔域

Henselian field