Logiweb dictionary of sup2

Up Help

0	0	sup2
1	0	lemma leqTotality(R)
2	0	lemma positiveToLeft(Eq)
3	0	lemma expZero exact
4	0	lemma sameExp base
5	0	lemma sameExp indu
6	0	lemma sameExp
7	0	lemma (1/2)(x+y)-x=(1/2)(y-x)
8	0	lemma y-(1/2)(x+y)=(1/2)(y-x)
9	0	lemma base(1/2)Sum zero exact
10	0	lemma sameBase(1/2)Sum second base
11	0	lemma sameBase(1/2)Sum second indu
12	0	lemma sameBase(1/2)Sum second
13	0	lemma negativeToLeft(Less)(1 term)
14	0	lemma base(1/2)Sum(+1)
15	0	lemma base(1/2)Sum exact bound base
16	0	lemma base(1/2)Sum exact bound indu
17	0	lemma base(1/2)Sum exact bound
18	0	lemma base(1/2)Sum bound
19	0	lemma UStelescope zero exact
20	0	lemma sameTelescope second base
21	0	lemma sameTelescope second indu
22	0	lemma sameTelescope second
23	0	lemma exp(+1)
24	0	lemma positiveBase base
25	0	lemma positiveBase indu
26	0	lemma positiveBase
27	0	lemma telescopeNumerical base
28	0	lemma telescopeNumerical indu
29	0	lemma telescopeNumerical
30	0	lemma +1IsPositive(N)
31	0	lemma distributionOut(Minus)
32	0	lemma positiveToRight(Eq)(1 term)
33	0	lemma sameSeries(NumDiff)
34	0	prop lemma to negated double imply
35	0	pred lemma addNegatedAll
36	0	pred lemma (A)to(~E~)(Imply)
37	0	pred lemma (E)to(~A~)(Imply)
38	0	pred lemma (E~)to(~A)(Imply)
39	0	pred lemma toNegatedAEA
40	0	lemma three2threeTerms(R)
41	0	lemma lessNeq(F) helper
42	0	lemma lessNeq(F)
43	0	lemma lessNeq(R)
44	0	lemma x=x+(y-y)(R)
45	0	lemma x=x+y-y(R)
46	0	lemma subtractEquations(R)
47	0	lemma neqAddition(R)
48	0	lemma positiveToRight(Less)(R)
49	0	lemma positiveToRight(Less)(1 term)(R)
50	0	lemma leqNeqLess(R)
51	0	lemma subLeqLeft(R)
52	0	lemma toLeq(Advanced)(R)
53	0	lemma leqLessTransitivity(R)
54	0	lemma negativeToLeft(Eq)(R)
55	0	lemma negativeToRight(Less)(R)
56	0	lemma !!==Symmetry
57	0	lemma switchTerms(x<=y-z)
58	0	lemma plus0Left(R)
59	0	lemma positiveToRight(Eq)(R)
60	0	lemma eqAdditionLeft(R)
61	0	lemma three2twoTerms(R)
62	0	lemma to!!==
63	0	lemma positiveToRight(Less)(1 term)
64	0	pred lemma (A~)to(~E)
65	0	lemma negativeToRight(Eq)(R)
66	0	lemma negativeToRight(Eq)(1 term)(R)
67	0	lemma doubleMinus(R)
68	0	lemma uniqueNegative(R)
69	0	lemma subtractEquationsLeft(R)
70	0	lemma eqNegated(R)
71	0	lemma neqNegated(R)
72	0	lemma -0=0(R)
73	0	lemma negativeNegated(R)
74	0	lemma from leqGeq(R)
75	0	lemma 0<=|x|(R)
76	0	lemma positiveNegated(R)
77	0	lemma addEquations(R)
78	0	lemma times(-1)(R)
79	0	lemma times(-1)Left(R)
80	0	lemma -x-y=-(x+y)(R)
81	0	lemma lessTotality(R)
82	0	lemma sameNumerical(R)
83	0	lemma minusNegated(R)
84	0	lemma positiveNumerical(R)
85	0	lemma signNumerical(+)(R)
86	0	lemma nonnegativeNumerical(R)
87	0	lemma negativeNumerical(R)
88	0	lemma leqNegated(R)
89	0	lemma lessNegated(R)
90	0	lemma subLeqRight(R)
91	0	lemma fromLess(R)
92	0	lemma distributionOut(R)
93	0	lemma x*0+x=x(R)
94	0	lemma x*0=0(R)fff
95	0	lemma signNumerical(R)
96	0	lemma numericalDifference(R)
97	0	lemma x<=|x|(R)
98	0	lemma USlimitIsUpperBound helper
99	0	lemma USlimitIsUpperBound
100	0	lemma (-1)*(-1)+(-1)*1=0(R)
101	0	lemma (-1)*(-1)=1(R)
102	0	lemma 0<1Helper(R)
103	0	lemma 0<1(R)
104	0	lemma expZero exact(R)
105	0	lemma positiveBase(R) base
106	0	lemma three2twoFactors(R)
107	0	lemma x=x*y*(1/y)(R)
108	0	lemma neqMultiplication(R)
109	0	lemma lessTransitivity(R)
110	0	lemma 0<2(R)
111	0	lemma sameExp(R) base
112	0	lemma sameExp(R) indu
113	0	lemma sameExp(R)
114	0	lemma subNeqLeft(R)
115	0	lemma subNeqRight(R)
116	0	lemma nonzeroFactors(R)
117	0	lemma nonnegativeFactors(R)
118	0	lemma positiveFactors(R)
119	0	lemma lessDivision(R)
120	0	lemma 0<1/2(R)
121	0	lemma positiveToRight(Eq)(1 term)(R)
122	0	lemma exp(+1)(R)
123	0	lemma positiveBase(R) indu
124	0	lemma positiveBase(R)
125	0	lemma -x*y=-(x*y)(R)
126	0	lemma positiveToLeft(Eq)(R)
127	0	lemma times1Left(R)
128	0	lemma x+x=2*x(R)
129	0	lemma (1/2)x+(1/2)x=x(R)
130	0	lemma distributionOut(Minus)(R)
131	0	lemma (1/2)(x+y)-x=(1/2)(y-x)(R)
132	0	lemma intervalSize(R) base
133	0	lemma lessMultiplicationLeft(R)
134	0	lemma negativeToLeft(Less)(R)
135	0	lemma negativeToLeft(Less)(1 term)(R)
136	0	lemma y-(1/2)(x+y)=(1/2)(y-x)(R)
137	0	lemma intervalSize(R) indu
138	0	lemma intervalSize(R)
139	0	lemma XSlessUS(R)
140	0	lemma USdecreasing(+1)(R)
141	0	lemma expUnbounded base
142	0	lemma expUnbounded indu
143	0	lemma expUnbounded
144	0	lemma 1<=x+1(N)
145	0	lemma expNonzero base
146	0	lemma expNonzero indu
147	0	lemma expNonzero
148	0	lemma expNonzero(2)
149	0	lemma halfBase base
150	0	lemma halfBase indu
151	0	lemma multiplyEquations(R)
152	0	lemma nonreciprocalToRight(Eq)(1 term)(R)
153	0	lemma positiveNonzero(R)
154	0	lemma nonzeroProduct(2)(R)
155	0	lemma halfBase
156	0	lemma three2threeFactors(R)
157	0	lemma x*y=zBackwards(R)
158	0	lemma positiveInverted(R)
159	0	lemma reciprocalToRight(Less)(R)
160	0	lemma reciprocalToRight(Less)(1 term)(R)
161	0	lemma nonreciprocalToLeft(Less)(R)
162	0	lemma 1
163	0	lemma switchFactors(1/x
164	0	lemma smallHalving
165	0	lemma intervalSize(anyPositive)
166	0	lemma USdecreasing(+n) base
167	0	lemma USdecreasing(+n) indu
168	0	lemma USdecreasing(+n)
169	0	lemma USdecreasing
170	0	lemma leqAdditionLeft(R)
171	0	lemma toNotLess(R)
172	0	lemma limitOfUSIsLeq
173	0	lemma subtractEquations(Less)(R)
174	0	lemma subtractEquationsLeft(Less)(R)
175	0	lemma lessNegated(Negative)(R)
176	0	prop lemma from negated and (imply)
177	0	prop lemma remove double neg (consequent)
178	0	lemma fromNotUpperBound
179	0	lemma leqNUB
180	0	lemma USlimitIsLeastUpperBound helper
181	0	lemma USlimitIsLeastUpperBound
182	0	pred lemma exist mp3
183	0	lemma greaterPositive(N)
184	0	lemma ysFClose helper
185	0	lemma ysFClose
186	0	lemma ysFCauchy helper
187	0	lemma ysFCauchy
188	0	lemma from<<==
189	0	lemma to<<==
190	0	lemma nonnegativeNumerical(F)
191	0	lemma negativeNumerical(F)
192	0	tester1
193	0	tester2
194	0	tester3
195	0	tester4
196	0	tester5
197	0	tester6