Nuprl Definition : gcd_reduce
gcd_reduce(p;q) == let g,a,b,rest = TERMOF{gcd-reduce-ext:o, 1:l} p q in <g, a, b>
Definitions occuring in Statement :
spreadn: spread4,
apply: f a,
pair: <a, b>
Definitions occuring in definition :
spreadn: spread4,
apply: f a,
gcd-reduce-ext,
pair: <a, b>
TermOfs occuring in Definition :
gcd-reduce-ext
FDL editor aliases :
gcd_reduce
Latex:
gcd\_reduce(p;q) == let g,a,b,rest = TERMOF\{gcd-reduce-ext:o, 1:l\} p q in <g, a, b>
Date html generated:
2016_05_14-PM-09_24_17
Last ObjectModification:
2016_01_05-PM-00_15_55
Theory : num_thy_1
Home
Index