Skeleton section on henselian pairs
Two simple lemmas about henselian pairs
Tags: Added new tags