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.

Jun 27, 2023

74af77a

Tags: Added new tags

More than 20 tags were affected, see the commit for more information.

Jun 27, 2023

ba9831c

Fix some internal references

• Lemma 37.76.1
• Proposition 52.12.6
• Remark 63.9.5
• Lemma 115.13.3

Jun 27, 2023

53fe885

Fix internal reference

• Lemma 29.8.4

Jun 27, 2023

d0d2eaf

Another coding style fix

• Lemma 5.3.1

Jun 27, 2023

e080322

Coding style fixes mostly

• Lemma 5.4.2
• Lemma 5.5.2
• Lemma 5.5.3
• Lemma 5.5.5
• Lemma 5.6.1
• Lemma 5.6.2
• Lemma 5.7.2
• Lemma 5.7.11
• Lemma 5.9.4
• Lemma 5.11.6
• Lemma 5.12.6
• Lemma 5.19.2
• Lemma 5.19.3
• Lemma 5.19.5
• Lemma 5.19.6
• Lemma 5.23.15

Jun 27, 2023

28190d8

Fix coding style in categories

More than 20 tags were affected, see the commit for more information.

Jun 27, 2023

33a2547

Proofs contributed by Clément Baillet, Colin Hamon, Jérémy Gerin

More than 20 tags were affected, see the commit for more information.

Jun 27, 2023

0292797

Fix two places where birational is used incorrectly

• Lemma 29.54.5
• Lemma 29.54.6

Jun 26, 2023

b6ec398

Fix proof Lemma 0358

• Lemma 28.7.9

Jun 26, 2023

d10b405

Fix a typo in algebra

• Lemma 10.37.12