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.
- Aug 6, 2025
- dd38795
-
- Lemma 60.17.5
- Aug 5, 2025
- b891f6f
-
More than 20 tags were affected, see the commit for more information.
- Aug 5, 2025
- 6dba139
- Aug 5, 2025
- 50492b1
-
- Lemma 91.7.3
- Aug 4, 2025
- 075f1d8
-
- Lemma 39.23.4
- Aug 4, 2025
- 91cfd05
-
- Lemma 91.7.1
- Aug 4, 2025
- f8b6edd
-
- Lemma 91.2.1
- Aug 4, 2025
- c5b245a
-
- Proposition 39.23.9
- Aug 4, 2025
- c5179b2
-
- Remark 20.42.12
- Aug 4, 2025
- 5dff7db
-
- Lemma 37.27.4