https://123dok.net/document/yd7kmvm1-a-criterion-for-p-henselianity-in-characteristic-p.html