18 Commits

Author SHA1 Message Date
ecdfc30b7a
"原书定义" & "原书定理" -> "原书"
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-29 22:06:31 +08:00
3e2891e1af
简化了条件表达式
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-28 22:40:33 +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
0757c97a0d
1B修正部分描述中的措辞,使其更准确地表达数学概念
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-13 22:52:33 +08:00
dfe865ab6e
Fix lint
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-13 22:23:23 +08:00
31939c3004
2B p11
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-13 21:25:29 +08:00
efc3f90e5e
统一习题引用标签格式
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-13 21:00:45 +08:00
164857aea7
Fix alignment with list(workaround)
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-12 00:20:39 +08:00
b714454635
1B Fix typo, thanks ZRY
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-11 19:06:13 +08:00
8fff57fbad
1B fix alignment
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-11 11:32:26 +08:00
e20c209be5
2A p4
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-10 21:26:31 +08:00
c8cbb15534
1C p23
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-09 20:52:45 +08:00
a7ed602d2f
Make term list loose
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-09 15:21:10 +08:00
96f52399b9
seperate math.typ
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-09 14:41:41 +08:00
83f797bd52
better visual effects
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-08 17:34:29 +08:00
508a006dc3
fix format
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-07 20:30:10 +08:00
92344c9e7b
section 1B
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-07 20:27:56 +08:00