{ 
[locs:Id List]. (sc-Votes(locs) 
BaseDef) }
{ Proof }
Definitions occuring in Statement :
sc-Votes: sc-Votes(locs),
base-deriv: BaseDef,
Id: Id,
uall: [x:A]. B[x],
member: t T,
list: type List
Definitions :
uall: [x:A]. B[x],
member: t T,
sc-Votes: sc-Votes(locs),
spreadn: spread3
Lemmas :
BaseDef_wf,
Id_wf,
product-limited,
int_wf_limited,
band_wf,
le_int_wf
\mforall{}[locs:Id List]. (sc-Votes(locs) \mmember{} BaseDef)
Date html generated:
2011_08_17-PM-06_33_33
Last ObjectModification:
2011_06_18-AM-11_57_08
Home
Index