Nuprl Lemma : RSC_NewVoters_nlp
Cmd:ValueAllType. NormalLProgrammable'(
Cmd;RSC_NewVoters(Cmd))
Error : references
\mforall{}Cmd:ValueAllType. NormalLProgrammable'(\mBbbZ{} \mtimes{} Cmd;RSC\_NewVoters(Cmd))
Date html generated:
2012_02_20-PM-07_50_56
Last ObjectModification:
2012_02_02-PM-01_58_55
Home
Index