Nuprl Definition : Prime
Prime == {p:{2...}| prime(p)}
Definitions occuring in Statement :
prime: prime(a),
int_upper: {i...},
set: {x:A| B[x]} ,
natural_number: $n
Definitions occuring in definition :
set: {x:A| B[x]} ,
int_upper: {i...},
natural_number: $n,
prime: prime(a)
FDL editor aliases :
Prime
Latex:
Prime == \{p:\{2...\}| prime(p)\}
Date html generated:
2016_05_15-PM-04_02_53
Last ObjectModification:
2015_09_23-AM-07_46_08
Theory : general
Home
Index