Nuprl Definition : is_prime
is_prime(n) == isl(TERMOF{decidable__prime:o, 1:l} n)
Definitions occuring in Statement :
isl: isl(x),
apply: f a
Definitions occuring in definition :
isl: isl(x),
apply: f a
TermOfs occuring in Definition :
decidable__prime
FDL editor aliases :
is_prime
Latex:
is\_prime(n) == isl(TERMOF\{decidable\_\_prime:o, 1:l\} n)
Date html generated:
2016_05_15-PM-04_04_17
Last ObjectModification:
2015_09_23-AM-07_46_25
Theory : general
Home
Index