Fix typo in bootstrap.tex
Smooth morphisms noetherian spaces in terms of lifting
Faithfulness of the completion functor