Nuprl Lemma : brouwer_prin_for_num_27_2_wf
brouwer_prin_for_num_27_2{i:l}() 
'
Proof not projected
Error : references
brouwer\_prin\_for\_num\_27\_2\{i:l\}() \mmember{} \mBbbP{}'
Date html generated:
2013_03_20-AM-11_02_13
Last ObjectModification:
2013_03_15-PM-07_34_23
Home
Index