uff

leanprover-community · Jan 23, 2025 · 2f4f633 · 2f4f633
1 parent c0613ea
commit 2f4f633
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -85,7 +85,7 @@ jobs:
           mv blueprint/web _site/blueprint
 
       - name: Upload doc & blueprint artifact
-        uses: actions/upload-pages-artifact@v2
+        uses: actions/upload-pages-artifact@v3
         with:
           path: '_site'
 

diff --git a/docs/unseen_defs.txt b/docs/unseen_defs.txt
@@ -0,0 +1,8 @@
+CyclotomicIntegers.equiv_symm_apply
+Ideal.spanIntNorm_mul
+Monoid.EndAdditive_apply
+fermatLastTheoremFive
+isRegularPrime_three
+isRegularPrime_two
+relativeUnitsMapHom_apply
+relativeUnitsMap_mk