From c3f4b449794436ae6b15251429b6ed66dafe71a0 Mon Sep 17 00:00:00 2001
From: utensil <utensilcandel@gmail.com>
Date: Thu, 30 May 2024 16:00:37 +0800
Subject: [PATCH] refactor(ca): extract def

---
 trees/ca-0001.tree | 20 +-------------------
 trees/ca-000F.tree | 31 +++++++++++++++++++++++++++++++
 2 files changed, 32 insertions(+), 19 deletions(-)
 create mode 100644 trees/ca-000F.tree

diff --git a/trees/ca-0001.tree b/trees/ca-0001.tree
index 1397e85..9364dc4 100644
--- a/trees/ca-0001.tree
+++ b/trees/ca-0001.tree
@@ -32,23 +32,5 @@
 }
 
 \block{Clifford Algebra}{
-  \block{Definition}{
-    \transclude{ca-0006}
-
-    \transclude{ca-0007}
-
-    \transclude{ca-0008}
-
-    \transclude{ca-0009}
-
-    \transclude{ca-000A}
-
-    \transclude{ca-000B}
-
-    \transclude{ca-000C}
-
-    \transclude{ca-000D}
-
-    \transclude{ca-000E}
-  }
+  \transclude{ca-000F}
 }
diff --git a/trees/ca-000F.tree b/trees/ca-000F.tree
new file mode 100644
index 0000000..ddf7a50
--- /dev/null
+++ b/trees/ca-000F.tree
@@ -0,0 +1,31 @@
+\import{spin-macros}
+% clifford hopf spin draft
+\tag{clifford}
+
+\parent{ca-0001}
+
+% definition theorem lemma construction observation
+% convention corollary axiom example exercise proof
+% discussion remark
+% \taxon{}
+% \texnote{}{}{
+% }
+\title{Definition}
+
+\transclude{ca-0006}
+
+\transclude{ca-0007}
+
+\transclude{ca-0008}
+
+\transclude{ca-0009}
+
+\transclude{ca-000A}
+
+\transclude{ca-000B}
+
+\transclude{ca-000C}
+
+\transclude{ca-000D}
+
+\transclude{ca-000E}
\ No newline at end of file