{ 
[V:Type]. (AMBIVALENT 
consensus-state2(V)) }
{ Proof }
Definitions occuring in Statement :
cs-ambivalent: AMBIVALENT,
consensus-state2: consensus-state2(T),
uall: [x:A]. B[x],
member: t T,
universe: Type
Definitions :
uall: [x:A]. B[x],
member: t T,
consensus-state2: consensus-state2(T),
cs-ambivalent: AMBIVALENT,
top: Top
Lemmas :
it_wf,
unit_wf
\mforall{}[V:Type]. (AMBIVALENT \mmember{} consensus-state2(V))
Date html generated:
2011_08_16-AM-09_54_37
Last ObjectModification:
2011_06_18-AM-08_54_28
Home
Index