Go back to the tag's page.
Remove unnecessary assumptions in algebra.tex
Added new tags modified: tags/tags
Algebra: descent for property (R_k) for fppf modified: algebra.tex