Nuprl Definition : p-outcome
Outcome == ℕ||p||
Definitions occuring in Statement :
length: ||as||
,
int_seg: {i..j-}
,
natural_number: $n
Definitions :
int_seg: {i..j-}
,
natural_number: $n
,
length: ||as||
FDL editor aliases :
p-outcome
Outcome == \mBbbN{}||p||
Date html generated:
2015_07_17-AM-07_58_05
Last ObjectModification:
2008_02_27-PM-05_47_13
Home
Index