170 Commits

Author SHA1 Message Date
c93b7043ee
3B 29
Signed-off-by: szdytom <szdytom@qq.com>
2025-08-13 23:16:48 +08:00
72cddc4bf8
3B 28
Signed-off-by: szdytom <szdytom@qq.com>
2025-08-13 22:57:25 +08:00
018639e412
3B 27
Signed-off-by: szdytom <szdytom@qq.com>
2025-08-12 00:59:01 +08:00
89a7188286
3B 26
Signed-off-by: szdytom <szdytom@qq.com>
2025-08-12 00:37:49 +08:00
1160c3a30a
优化线性映射证明中的表达,简化公式表示
Signed-off-by: szdytom <szdytom@qq.com>
2025-08-11 20:47:28 +08:00
66f20076e6
fix lint
Signed-off-by: szdytom <szdytom@qq.com>
2025-08-11 20:35:02 +08:00
fc2200bf0a
3B 25
Signed-off-by: szdytom <szdytom@qq.com>
2025-08-11 20:34:11 +08:00
47ecc2ff1f
3B 24
Signed-off-by: szdytom <szdytom@qq.com>
2025-08-11 02:00:40 +08:00
1e8fa70977
3B 22-23
Signed-off-by: szdytom <szdytom@qq.com>
2025-08-09 22:07:03 +08:00
8627c454df
3B 21
Signed-off-by: szdytom <szdytom@qq.com>
2025-08-09 12:33:41 +08:00
511643fbe0
3B 19-20
Signed-off-by: szdytom <szdytom@qq.com>
2025-08-09 00:48:07 +08:00
ad9da4b146
3B 19
Signed-off-by: szdytom <szdytom@qq.com>
2025-08-08 23:52:13 +08:00
3a456f0c77
3B 18
Signed-off-by: szdytom <szdytom@qq.com>
2025-08-08 23:35:01 +08:00
1897925517
3B 17
Signed-off-by: szdytom <szdytom@qq.com>
2025-08-08 23:29:49 +08:00
7cf75bfced
3B 16
Signed-off-by: szdytom <szdytom@qq.com>
2025-08-08 23:25:14 +08:00
a48526b846
3B 15
Signed-off-by: szdytom <szdytom@qq.com>
2025-08-08 23:10:18 +08:00
799a2eb894
3B 14
Signed-off-by: szdytom <szdytom@qq.com>
2025-08-08 21:52:44 +08:00
641cd2ad9e
3B 13
Signed-off-by: szdytom <szdytom@qq.com>
2025-08-08 15:02:51 +08:00
8096fc0c08
3B 12
Signed-off-by: szdytom <szdytom@qq.com>
2025-08-08 14:57:00 +08:00
11278f10bb
3B p11
Signed-off-by: szdytom <szdytom@qq.com>
2025-08-08 14:52:11 +08:00
ecdfc30b7a
"原书定义" & "原书定理" -> "原书"
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-29 22:06:31 +08:00
fb9569c826
3B p10
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-29 22:04:22 +08:00
c0ab82f70a
3B p9
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-29 21:15:04 +08:00
5f771be78b
fix format
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-29 21:08:16 +08:00
7d0687846b
3B p8
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-29 20:57:23 +08:00
a1f23310c5
3B p7
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-29 20:32:52 +08:00
f543c0d82e
3B p5-6
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-29 20:09:17 +08:00
38bdc65d1a
3B p4
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-29 19:56:16 +08:00
94ad1d39e6
3B p3
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-29 19:46:14 +08:00
572b6018b2
3B p2
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-29 18:38:01 +08:00
6dbaebcb78
3A p1
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-29 18:32:42 +08:00
535536f916
3A p17
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-29 14:09:19 +08:00
09e30f9c16
3A p16
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-29 10:16:55 +08:00
f3ee3fe44c
3A p15
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-28 23:44:11 +08:00
59bb3d5b67
3A p14
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-28 23:15:56 +08:00
fc34b3a0d0
3A p13
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-28 22:59:52 +08:00
4a730e81d9
3A p12
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-28 22:46:05 +08:00
3e2891e1af
简化了条件表达式
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-28 22:40:33 +08:00
3d5b9d595a
3A p11
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-28 22:32:59 +08:00
8372ecdcc4
2A p10
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-28 21:50:53 +08:00
4656c29fdd
3A p9
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-28 21:40:12 +08:00
6bf3fd2064
3A p8
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-28 15:48:29 +08:00
31e1bfa08e
3A p7
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-28 15:21:03 +08:00
cd9050f1c7
3A p6
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-28 15:13:09 +08:00
d730f1068f
为部分figure设置wrap
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-27 23:15:35 +08:00
fdb7253e34
修正向量空间定义中缺少的可结合性部分的证明
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-27 23:15:10 +08:00
6083e1c4c9
3A p5
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-27 22:51:56 +08:00
c598e9fdff
3A p4
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-27 22:35:16 +08:00
0142424012
3A p3
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-27 22:27:17 +08:00
0450974138
2A p2
Signed-off-by: szdytom <szdytom@qq.com>
2025-07-27 16:58:57 +08:00