Regenerate blueprint.

leanprover-community · Feb 7, 2024 · 94f6668 · 94f6668
1 parent 3ad05af
commit 94f6668
Show file tree

Hide file tree

Showing 4 changed files with 23 additions and 3 deletions.
diff --git a/docs/blueprint.pdf b/docs/blueprint.pdf
diff --git a/docs/blueprint/chap-global.html b/docs/blueprint/chap-global.html
@@ -1571,7 +1571,7 @@ <h1>Lean declarations</h1>
 
         <ul class="uses">
 
-          <li><a href="https://leanprover-community.github.io/mathlib4_docs/find/#doc/FamilyOneJetSec.is_holonomic_uncurry" class="lean_decl">FamilyOneJetSec.is_holonomic_uncurry</a></li>
+          <li><a href="https://leanprover-community.github.io/mathlib4_docs/find/#doc/FamilyOneJetSec.isHolonomicAt_uncurry" class="lean_decl">FamilyOneJetSec.isHolonomicAt_uncurry</a></li>
 
           <li><a href="https://leanprover-community.github.io/mathlib4_docs/find/#doc/FamilyOneJetSec.uncurry_mem_relativize" class="lean_decl">FamilyOneJetSec.uncurry_mem_relativize</a></li>
 

diff --git a/docs/blueprint/chap-local_eversion.html b/docs/blueprint/chap-local_eversion.html
@@ -184,6 +184,26 @@ <h1>Lean declarations</h1>
 </a>
 
 
+    <button class="modal"><svg  class="icon icon-mindmap "><use xlink:href="symbol-defs.svg#icon-mindmap"></use></svg>
+</button>
+        <div class="modal-container">
+      <div class="modal-content">
+        <header>
+          <h1>Uses</h1>
+          <button class="closebtn"><svg  class="icon icon-cross "><use xlink:href="symbol-defs.svg#icon-cross"></use></svg>
+</button>
+        </header>
+
+        <ul class="uses">
+
+          <li><a href="chap-local.html#lem:ample_codim_two">Lemma 2.13</a></li>
+
+        </ul>
+
+      </div>
+    </div>
+
+
 
     <button class="modal lean">L∃∀N</button>
         <div class="modal-container">