The Stacks project

Fixes for 0BRF, 0BRG, 02KB

Thanks to Minseon Shin

Fix missing argument in morphisms.tex

Thanks to Remy van Dobben de Bruyn

Completion and Mittag-Leffler

	The result here is that if we have a ring map R ---> S, an
	S-module M, and an ideal I of R then, under some assumptions,
	the completion of M wrt I is a Mittag-Leffler module. The
	assumptions are that R is Noetherian and complete wrt I, R --->
	S is finite type, M is finite over S and a flat R-module such
	that M/IM is projective as a R/I-module.

	Question: Can we drop the assumption that M be flat?

	In order to prove the result we add some lemmas on lift of
	projectivity and splitting sequences after completion.

Added new tags to the file tags/tags

	modified:   tags/tags

Improved lemma on quasi-finite + etale in algebra.tex
Started section on etale neighbourhoods
Added easier notion to list characterizations etale/unramified morphisms
Added Hoobler reference

	modified:   algebra.tex
	modified:   more-morphisms.tex
	modified:   morphisms.tex
	modified:   my.bib