Nuprl Lemma : pv11_p1_dummy_ballot_wf
pv11_p1_dummy_ballot() ∈ pv11_p1_Ballot_Num()
Proof
Definitions occuring in Statement :
pv11_p1_dummy_ballot: pv11_p1_dummy_ballot(),
pv11_p1_Ballot_Num: pv11_p1_Ballot_Num(),
member: t ∈ T
Lemmas :
it_wf,
subtype_rel_sum,
unit_wf2,
Id_wf
Latex:
pv11\_p1\_dummy\_ballot() \mmember{} pv11\_p1\_Ballot\_Num()
Date html generated:
2015_07_23-PM-04_10_52
Last ObjectModification:
2015_01_29-AM-11_18_18
Home
Index