Two simple lemmas about henselian pairs
Tags: Added new tags