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
-