The Stacks project

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).

Cleanup section formally smooth ring maps

TAGS: added new tags

The lifting problem