refactor(ca): extract def

utensil · May 30, 2024 · c3f4b44 · c3f4b44
1 parent 5689876
commit c3f4b44
Show file tree

Hide file tree

Showing 2 changed files with 32 additions and 19 deletions.
diff --git 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
@@ -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}