Go back to the tag's page.
Tags: added new tags
A derived complete wrt I => (A, I) henselian Thanks to Kestutis Cesnavicius https://stacks.math.columbia.edu/tag/0ALJ#comment-5370