The Stacks project

These are the recent changes to the tags on the website. The website is regularly updated, but it is possible that the repository is slightly ahead.

Oct 5, 2021
c257630
Fix proof
Oct 1, 2021
acfa2cc
Fix error in statement Lemma 09PU
Sep 28, 2021
7724339
Tags: Added new tags
Sep 28, 2021
894f3ce
Try to fix a parse error
Sep 16, 2021
f560b75
regular => ample fam => res prop
Sep 16, 2021
56e97ab
Add a reference to EGA III
Sep 16, 2021
3fc31f0
Fact on finite modules over Noetherian rings
Sep 14, 2021
fac02ec
Tags: Added new tags
Sep 14, 2021
7b91f52
Fix some notation in a proof in algebra
Sep 14, 2021
5a1d819
Fix a proof