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 14, 2026

4ac4815

Found the missing comma

Jul 14, 2026

6d631f8

Remove crud from my.bib

Jul 14, 2026

4341612

More bib changes

Jul 14, 2026

db011c5

Move to the correct alphabetical position

Jul 14, 2026

79daa3b

Fix bibliography

Jul 14, 2026

ed88ff7

Tags: added new tags

• Lemma 4.43.1
• Lemma 4.43.2
• Lemma 4.43.4
• Lemma 4.43.13
• Lemma 29.37.18
• Lemma 47.21.6
• Lemma 110.10.1

Jul 14, 2026

5c2c6ff

cofibred

Jul 14, 2026

083b34a

s <-> s'

Jul 14, 2026

4397dea

Add external reference

• Lemma 29.10.2

Jul 14, 2026

c8f1aa9

Change notation for product functor

• Lemma 4.31.12