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.

Jul 24, 2021
8d33954
Fix a proof in spaces-perfect
Jul 23, 2021
f157f41
Add missing hypothesis
Jul 20, 2021
d4fff1e
Tags: Added new tags
Jul 20, 2021
59bae33
Remove "X is Sober and"
Jul 20, 2021
2b80c69
Fix statements in sites-cohomology
Jul 20, 2021
dce26cb
are -> is
Jul 20, 2021
21cbf20
A -> R
Jul 20, 2021
7bf801a
Fix order of composition morphisms
Jul 20, 2021
cc1a216
Rearrange words in a proof
Jul 20, 2021
6ec9cb8
Fix a proof