Nuprl Definition : primefactors

primefactors(n) ==  TERMOF{prime-factors3:o, 1:l} n


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a
TermOfs occuring in Definition :  prime-factors3
FDL editor aliases :  primefactors
Latex:
primefactors(n)  ==    TERMOF\{prime-factors3:o,  1:l\}  n


Date html generated: 2016_05_15-PM-06_05_12
Last ObjectModification: 2015_09_23-AM-08_01_05

Theory : general


Home Index