16 Commits

Author SHA1 Message Date
ecdfc30b7a
"原书定义" & "原书定理" -> "原书"
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-29 22:06:31 +08:00
fdb7253e34
修正向量空间定义中缺少的可结合性部分的证明
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-27 23:15:10 +08:00
7a90f5c94a
Fix lint
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-13 22:58:12 +08:00
dfe865ab6e
Fix lint
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-13 22:23:23 +08:00
efc3f90e5e
统一习题引用标签格式
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-13 21:00:45 +08:00
07ca699a59
Fix typo, thanks ZRY
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-11 11:20:54 +08:00
235f942fbb
shorten list
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-10 23:00:20 +08:00
1912a78f1b
Format 1A
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-09 21:29:41 +08:00
96f52399b9
seperate math.typ
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-09 14:41:41 +08:00
a985f02898
exercise numbering and referencing
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-08 20:12:05 +08:00
83f797bd52
better visual effects
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-08 17:34:29 +08:00
92344c9e7b
section 1B
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-07 20:27:56 +08:00
b756c52ac5
marker for solutions
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-07 16:06:11 +08:00
dd9250ec4c
better note
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-07 15:43:34 +08:00
d1d2e40590
clear notation for F and n
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-07 13:18:48 +08:00
f5677f4449
Section 1A
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-06 23:41:56 +08:00