Update README.md

mbkybky · Oct 18, 2024 · c88388b · c88388b
1 parent 45548aa
commit c88388b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -2,6 +2,6 @@
 
 Formalizing local properties of modules in LEAN
 
-We will follow the [Stacks Project, Section 00EN](https://stacks.math.columbia.edu/tag/00EN).
+We will follow the Stacks Project, [Section 00EN](https://stacks.math.columbia.edu/tag/00EN), [Lemma 00HT](https://stacks.math.columbia.edu/tag/00HT), [Lemma 034K](https://stacks.math.columbia.edu/tag/034k), [Lemma 02JL](https://stacks.math.columbia.edu/tag/02JL), [Lemma 00GY](https://stacks.math.columbia.edu/tag/00GY).
 
-For API documentation, please visit https://mbkybky.github.io/module_localProperties/.
+For API documentation, please visit https://mbkybky.github.io/module_localProperties.