From 8f3c1f5f929fd7eeae11c822e8f6a67eac87825a Mon Sep 17 00:00:00 2001
From: Seasawher <Seasawher@users.noreply.github.com>
Date: Tue, 5 Sep 2023 09:42:28 +0000
Subject: [PATCH] deploy: 158adf343328c5993bf3d032d346ad82aa8595e5

---
 404.html                              | 2 +-
 c1_introduction.html                  | 2 +-
 c2_definitions_statements_proofs.html | 2 +-
 c3_universes_types_terms.html         | 2 +-
 c4_theorems_proofs.html               | 2 +-
 c5_prop_type_proof_term.html          | 2 +-
 c6_elements_theorem.html              | 2 +-
 c7_proof_fermat_theorem_function.html | 2 +-
 index.html                            | 2 +-
 print.html                            | 2 +-
 10 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/404.html b/404.html
index a04b849..ec3024b 100644
--- a/404.html
+++ b/404.html
@@ -146,7 +146,7 @@ <h1 class="menu-title">Mathematics in type theory 日本語版</h1>
                         <a href="print.html" title="Print this book" aria-label="Print this book">
                             <i id="print-button" class="fa fa-print"></i>
                         </a>
-                        <a href="https://github.com/Seasawher/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
+                        <a href="https://github.com/lean-ja/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
                             <i id="git-repository-button" class="fa fa-github"></i>
                         </a>
 
diff --git a/c1_introduction.html b/c1_introduction.html
index e580e81..b31b1ee 100644
--- a/c1_introduction.html
+++ b/c1_introduction.html
@@ -145,7 +145,7 @@ <h1 class="menu-title">Mathematics in type theory 日本語版</h1>
                         <a href="print.html" title="Print this book" aria-label="Print this book">
                             <i id="print-button" class="fa fa-print"></i>
                         </a>
-                        <a href="https://github.com/Seasawher/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
+                        <a href="https://github.com/lean-ja/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
                             <i id="git-repository-button" class="fa fa-github"></i>
                         </a>
 
diff --git a/c2_definitions_statements_proofs.html b/c2_definitions_statements_proofs.html
index 9d32e0e..abbb31c 100644
--- a/c2_definitions_statements_proofs.html
+++ b/c2_definitions_statements_proofs.html
@@ -145,7 +145,7 @@ <h1 class="menu-title">Mathematics in type theory 日本語版</h1>
                         <a href="print.html" title="Print this book" aria-label="Print this book">
                             <i id="print-button" class="fa fa-print"></i>
                         </a>
-                        <a href="https://github.com/Seasawher/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
+                        <a href="https://github.com/lean-ja/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
                             <i id="git-repository-button" class="fa fa-github"></i>
                         </a>
 
diff --git a/c3_universes_types_terms.html b/c3_universes_types_terms.html
index 0712754..6da7492 100644
--- a/c3_universes_types_terms.html
+++ b/c3_universes_types_terms.html
@@ -145,7 +145,7 @@ <h1 class="menu-title">Mathematics in type theory 日本語版</h1>
                         <a href="print.html" title="Print this book" aria-label="Print this book">
                             <i id="print-button" class="fa fa-print"></i>
                         </a>
-                        <a href="https://github.com/Seasawher/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
+                        <a href="https://github.com/lean-ja/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
                             <i id="git-repository-button" class="fa fa-github"></i>
                         </a>
 
diff --git a/c4_theorems_proofs.html b/c4_theorems_proofs.html
index 5824840..7148733 100644
--- a/c4_theorems_proofs.html
+++ b/c4_theorems_proofs.html
@@ -145,7 +145,7 @@ <h1 class="menu-title">Mathematics in type theory 日本語版</h1>
                         <a href="print.html" title="Print this book" aria-label="Print this book">
                             <i id="print-button" class="fa fa-print"></i>
                         </a>
-                        <a href="https://github.com/Seasawher/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
+                        <a href="https://github.com/lean-ja/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
                             <i id="git-repository-button" class="fa fa-github"></i>
                         </a>
 
diff --git a/c5_prop_type_proof_term.html b/c5_prop_type_proof_term.html
index 2c5c008..d819a52 100644
--- a/c5_prop_type_proof_term.html
+++ b/c5_prop_type_proof_term.html
@@ -145,7 +145,7 @@ <h1 class="menu-title">Mathematics in type theory 日本語版</h1>
                         <a href="print.html" title="Print this book" aria-label="Print this book">
                             <i id="print-button" class="fa fa-print"></i>
                         </a>
-                        <a href="https://github.com/Seasawher/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
+                        <a href="https://github.com/lean-ja/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
                             <i id="git-repository-button" class="fa fa-github"></i>
                         </a>
 
diff --git a/c6_elements_theorem.html b/c6_elements_theorem.html
index 7d50d80..b22c7c3 100644
--- a/c6_elements_theorem.html
+++ b/c6_elements_theorem.html
@@ -145,7 +145,7 @@ <h1 class="menu-title">Mathematics in type theory 日本語版</h1>
                         <a href="print.html" title="Print this book" aria-label="Print this book">
                             <i id="print-button" class="fa fa-print"></i>
                         </a>
-                        <a href="https://github.com/Seasawher/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
+                        <a href="https://github.com/lean-ja/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
                             <i id="git-repository-button" class="fa fa-github"></i>
                         </a>
 
diff --git a/c7_proof_fermat_theorem_function.html b/c7_proof_fermat_theorem_function.html
index 692fc5e..e16c858 100644
--- a/c7_proof_fermat_theorem_function.html
+++ b/c7_proof_fermat_theorem_function.html
@@ -145,7 +145,7 @@ <h1 class="menu-title">Mathematics in type theory 日本語版</h1>
                         <a href="print.html" title="Print this book" aria-label="Print this book">
                             <i id="print-button" class="fa fa-print"></i>
                         </a>
-                        <a href="https://github.com/Seasawher/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
+                        <a href="https://github.com/lean-ja/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
                             <i id="git-repository-button" class="fa fa-github"></i>
                         </a>
 
diff --git a/index.html b/index.html
index 5287359..70a92c3 100644
--- a/index.html
+++ b/index.html
@@ -145,7 +145,7 @@ <h1 class="menu-title">Mathematics in type theory 日本語版</h1>
                         <a href="print.html" title="Print this book" aria-label="Print this book">
                             <i id="print-button" class="fa fa-print"></i>
                         </a>
-                        <a href="https://github.com/Seasawher/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
+                        <a href="https://github.com/lean-ja/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
                             <i id="git-repository-button" class="fa fa-github"></i>
                         </a>
 
diff --git a/print.html b/print.html
index 390b51b..7b4eeb6 100644
--- a/print.html
+++ b/print.html
@@ -146,7 +146,7 @@ <h1 class="menu-title">Mathematics in type theory 日本語版</h1>
                         <a href="print.html" title="Print this book" aria-label="Print this book">
                             <i id="print-button" class="fa fa-print"></i>
                         </a>
-                        <a href="https://github.com/Seasawher/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
+                        <a href="https://github.com/lean-ja/math-in-type-theory-ja" title="Git repository" aria-label="Git repository">
                             <i id="git-repository-button" class="fa fa-github"></i>
                         </a>