{
[i:Id].
[a:Atom1].
i:Id||a
}
{
Proof
}
Definitions occuring in Statement
:
Id:
Id
,
uall:
[x:A].
B[x]
,
free-from-atom:
x:T||a
,
atom:
Atom$n
Definitions
:
uall:
[x:A].
B[x]
,
Id:
Id
,
member:
t
T
\mforall{}[i:Id]. \mforall{}[a:Atom1]. i:Id||a
Date html generated: 2011_08_10-AM-07_43_27
Last ObjectModification: 2011_06_18-AM-08_09_57
Home
Index
[x:A]. B[x], [i:Id]. [a:Atom1]. i:Id||a }[x:A]. B[x], [x:A]. B[x], 
T