Remove misguided discussion codimension
Move a lemma earlier
Move a lemma
Move a lemma earlier
Add a lemma to divisors.tex
Two lemmas of Faltings
Ratliff's result characterizing universally catenary rings