-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathpm_350.txt
79 lines (73 loc) · 1.38 KB
/
pm_350.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
# PM Chapter 350 proof relations
volume 3
part 6
section C
page 413
Thm 350.1
<- 333.101 300.3 333.1 300.325 []->
Thm 350.2
<- 330.624 333.15 121.11 121.12 120.3 []->
Thm 350.21
<- 334.18 350.2
Thm 350.31
<- 303.1 302.02 302.03 113.602 333.48 113.602 302.02 302.03 302.36 []<->
Thm 350.32
<- 350.31 333.47
Thm 350.33
<- 301.3 333.2 303.1 333.101 302.36 331.42 []<->
page 414
Thm 350.331
<- 350.33 303.13
Thm 350.34
<- 303.151 330.43 330.61 []<->
Thm 350.35
<- 301.2 333.101 331.12 350.34 []<->
Thm 350.351
<- 350.35 303.13
Thm 350.4
<- 350.31 350.33 350.331 350.35 350.351
Thm 350.41
<- 332.243 301.3 350.33 350.331 350.32
Thm 350.42
<- 350.41 332.53
Thm 350.43
<- 350.42
Thm 350.44
<- 350.4 333.53 303.39 []->
page 415
Thm 350.5
<- 350.41 333.41 []->
Thm 350.51
<- 350.34
Thm 350.511
<- 350.51 303.13
Thm 350.52
<- 350.5 304.34 333.2
Thm 350.521
<- 350.52 350.51 303.1
Thm 350.53
<- 350.4 333.48 333.47 350.41 []->
Thm 350.54
<- 350.41 332.241 332.22 350.41 []<->
page 416
Thm 350.55
<- 350.4 333.47 333.21 333.24 350.41 301.5 []<->
Thm 350.56
<- 350.55 303.13
# new tactic []<.
Thm 350.6
<- 304.34 350.54 350.53 350.54 350.56 350.55 305.14
Thm 350.61
<- 350.52
Thm 350.62
<- 301.5 330.57 350.41 306.14 []->
page 417
Thm 350.63
<- 350.41 332.81 332.33 332.8 332.82 350.41 306.14 []->
Thm 350.64
<- 332.15 332.81
Thm 350.65
<- 350.64 308.21
# new tactic []=
Thm 350.66
<- 350.63 350.64 307.1 350.34 308.51