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.
- May 29, 2026
- 3e37ece
-
More than 20 tags were affected, see the commit for more information.
- May 29, 2026
- 26c2cfa
-
- Lemma 7.21.5
- May 29, 2026
- 73ddd37
-
- May 29, 2026
- 79996ed
-
- May 29, 2026
- b49f640
-
- Definition 4.40.1
- May 29, 2026
- ae50a73
-
- Lemma 12.7.1
- May 29, 2026
- d251c2f
-
- Lemma 22.7.6
- May 29, 2026
- 27e0927
-
- Lemma 15.4.2
- May 29, 2026
- f21932e
-
- Definition 66.5.1
- May 29, 2026
- 8958a12
-
- Lemma 10.12.15