Nuprl Lemma : pv8_p1_dummy_ballot_wf
pv8_p1_dummy_ballot() 
Id?
Proof not projected
Definitions occuring in Statement :
pv8_p1_dummy_ballot: pv8_p1_dummy_ballot(),
Id: Id,
unit: Unit,
member: t T,
product: x:A B[x],
union: left + right,
int:
Definitions :
pv8_p1_dummy_ballot: pv8_p1_dummy_ballot(),
member: t T
Lemmas :
Id_wf,
it_wf
pv8\_p1\_dummy\_ballot() \mmember{} \mBbbZ{} \mtimes{} Id?
Date html generated:
2012_02_20-PM-07_22_35
Last ObjectModification:
2012_02_06-PM-01_59_12
Home
Index