Typo in sites-modules.tex
Add two lemmas to algebra.tex

The first concerns how to check a map of modules is universally
injective when the target is a flat module.

The second is a reformulation of a flatness criterion.
Behavior of nil ideal under henselization
Finish the proof of Tag 05U9

Thanks to Ofer Gabber. Any mistakes are mine.
Tags: Added new tags