Nuprl Lemma : pv8_p1_init_ballot_num_wf
pv8_p1_init_ballot_num() 
Id 
(
Id?)
Proof not projected
Definitions occuring in Statement :
pv8_p1_init_ballot_num: pv8_p1_init_ballot_num(),
Id: Id,
unit: Unit,
member: t T,
function: x:A B[x],
product: x:A B[x],
union: left + right,
int:
Definitions :
pv8_p1_init_ballot_num: pv8_p1_init_ballot_num(),
member: t T
Lemmas :
Id_wf,
unit_wf2
pv8\_p1\_init\_ballot\_num() \mmember{} Id {}\mrightarrow{} (\mBbbZ{} \mtimes{} Id?)
Date html generated:
2012_02_20-PM-07_24_03
Last ObjectModification:
2012_02_06-PM-01_58_29
Home
Index