The Stacks project

Better proof of lemma what-does-it mean

Thanks to Kentaro Inoue
https://stacks.math.columbia.edu/tag/051C#comment-8730

Whitespace changes

Short exact sequence of conormal bundles and sheaves of differentials

	These of course would each follow easily from having the theory
	of the cotangent complex setup and working for algebraic spaces.
	But on the other hand, one would still have to split out the
	precise statements separately in order to use them.

Fix a couple of false proofs

Tags: Added new tags

Flattening stratifications

	Lots of changes. Up to and including the existence of the closed
	stratum of the flattening stratification for a finite type
	scheme over a complete local Noetherian ring.