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.

Sep 28, 2025

a2a93ed

Tags: added new tags

• Lemma 10.122.4
• Lemma 10.132.1
• Lemma 10.133.8
• Lemma 10.133.9
• Lemma 10.148.2
• Lemma 10.150.2
• Lemma 10.150.7
• Lemma 10.150.8
• Remark 10.150.9
• Lemma 17.11.3
• Lemma 17.17.4
• Lemma 18.24.1
• Lemma 20.31.8
• Lemma 21.33.5
• Lemma 28.29.9
• Lemma 50.18.2
• Lemma 50.18.4
• Lemma 50.18.5

Sep 28, 2025

7a65dde

Fix complaints of scripts

• Proposition 49.13.2
• Lemma 50.24.3

Sep 28, 2025

009a903

Insert arguement in a footnote

• Lemma 15.92.10

Sep 28, 2025

18f3638

Affected

• Lemma 31.16.1

Sep 28, 2025

1002460

Missing c

• Lemma 15.23.2

Sep 28, 2025

92c689c

Fix sheaf

• Lemma 27.8.4

Sep 28, 2025

e6ee94a

Not a homotopy equivalence

• Lemma 13.31.6

Sep 28, 2025

239d23d

Extra lemma on fp modules on ringed spaces

Sep 28, 2025

82b620b

Index up not down

Sep 28, 2025

aad3741

Q -> F

• Lemma 99.5.4