{
[Z:Top].
(Z
~
Z)
}
{
Proof
}
Definitions occuring in Statement
:
uall:
[x:A].
B[x]
,
top:
Top
,
sqequal:
s
~
t
Definitions
:
uall:
[x:A].
B[x]
,
member:
t
T
Lemmas
:
top_wf
\mforall{}[Z:Top]. (Z \msim{} Z)
Date html generated: 2011_08_16-AM-10_19_13
Last ObjectModification: 2011_06_18-AM-09_08_08
Home
Index
[x:A]. B[x], [Z:Top]. (Z ~ Z) }[x:A]. B[x], [x:A]. B[x], 
T