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

• Lemma 73.25.1

Jul 23, 2021

f157f41

Add missing hypothesis

• Lemma 10.117.1

Jul 20, 2021

d4fff1e

Tags: Added new tags

• Lemma 7.12.6
• Lemma 10.20.2
• Lemma 18.28.15
• Lemma 60.19.1

Jul 20, 2021

59bae33

Remove "X is Sober and"

• Lemma 5.23.6

Jul 20, 2021

2b80c69

Fix statements in sites-cohomology

• Lemma 21.33.6

Jul 20, 2021

dce26cb

are -> is

• Lemma 15.121.2

Jul 20, 2021

21cbf20

A -> R

• Definition 15.115.1

Jul 20, 2021

7bf801a

Fix order of composition morphisms

• Remark 58.29.8

Jul 20, 2021

cc1a216

Rearrange words in a proof

• Lemma 60.19.11

Jul 20, 2021

6ec9cb8

Fix a proof

• Lemma 18.42.5