From 447bb356fdad754a4053533482300c1f00da26ae Mon Sep 17 00:00:00 2001
From: szdytom <szdytom@qq.com>
Date: Wed, 16 Jul 2025 11:53:55 +0800
Subject: [PATCH] fix lint

Signed-off-by: szdytom <szdytom@qq.com>
---
 lint.toml       | 6 ++++++
 sections/2C.typ | 2 +-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/lint.toml b/lint.toml
index 7cc7d43..f68a9b2 100644
--- a/lint.toml
+++ b/lint.toml
@@ -45,3 +45,9 @@ name = "ambiguous-poly-notation"
 pattern = "Poly_[a-z]\\("
 enforce = true
 comment = "Missing space after Poly_m"
+
+[[rule]]
+name = "use-tab-as-indent"
+pattern = "^[ ]+"
+enforce = true
+comment = "Please use tab as indent instead of spaces"
diff --git a/sections/2C.typ b/sections/2C.typ
index 044d8cc..0f071d0 100644
--- a/sections/2C.typ
+++ b/sections/2C.typ
@@ -263,6 +263,6 @@
 
 	/ 第 $k$ 步: \
 		假设向量组 $p_0, dots, p_(k - 1)$ 是线性无关的。根据多项式系数的唯一性，$k$ 次多项式 $p_k in.not span(p_0, dots, p_(k-1))$，于是根据#exercise_ref(<E-when-vector-list-append-remains-indep>)，向量组 $p_0, dots, p_k$ 是线性无关的。
-	
+
 	#tab 综上所述，对于任意自然数 $m$，向量组 $p_0, dots, p_m$ 是线性无关的。注意到对于任意正整数 $m$，$Poly_m (FF) = m + 1$，根据长度恰当的线性无关组是基（原书2.38），$p_0, dots, p_m$ 是 $Poly_m (FF)$ 的基。
 ]