{
False
supposing
[]
=
[1]
}
{
Proof
}
Definitions occuring in Statement
:
uimplies:
b
supposing
a
,
false:
False
,
cons:
[car
/
cdr]
,
nil:
[]
,
list:
type
List
,
natural_number:
$n
,
int:
,
equal:
s
=
t
Definitions
:
uimplies:
b
supposing
a
,
false:
False
,
member:
t
T
,
prop:
Lemmas
:
false_wf
False supposing [] = [1]
Date html generated: 2011_08_16-AM-10_38_41
Last ObjectModification: 2011_06_18-AM-09_16_49
Home
Index
, , 
T, 