The Stacks project

Higher power

Thanks to Hsueh-Yung
https://stacks.math.columbia.edu/tag/04GM#comment-9371

Slogan by Rohrbach and Johan

Typo in algebra.tex

Thanks to Minseon Shin

Geometrically regular over separable algebraic

	Besides some small changes this commit contains the following
	result: If k ---> k' ---> A are ring maps with k'/k an algebraic
	separable extension, then A is geometrically regular over k if
	and only if A is geometrically regular over k'. This takes a bit
	of work to prove as you have to "think about it right".

LaTeX: fix lim

	Replaced all the occurences of \text{lim} by \lim or
	\lim\nolimits depending on whether the invocation occured in
	display math or not.

Tags: added new tags

Algebra: Henselian rings

	This is somewhat repetitive since we already have the analogues
	of all these results in terms of finding open neighbourhoods,
	etc. But the translation between different formulations is not
	seamless, and not automatic.