The Stacks project

Fix typos in lemma in smoothing and add refs

Thanks to Kestutis Cesnavicius
https://stacks.math.columbia.edu/tag/07F9#comment-3986
https://stacks.math.columbia.edu/tag/07F9#comment-3987
https://stacks.math.columbia.edu/tag/07F9#comment-4064

Tags: Added new tags

Various notions of standard elements

	This is needed as the approach using just what we now call
	"elementary standard" elements wasn't flexible enough for the
	last part of the proof. Or at least we don't know...

Clarify proof Elkik's lemma

	Now we use a result of the chapter "More on Algebra" so we have
	to move the chapter "Smoothing Ring Maps" later. Since we expect
	to use restriction of scalars (which really should be explained
	in the context of schemes) we'll have to move it after some of
	the chapters on schemes. We'll do this later (so temporarily
	there is a forward reference in the stacks project).

Proof delocalization lemma (height zero case)

Formulation of local problem in smoothing.tex