Nuprl Definition : factorization

factorization(n) ==  TERMOF{prime-factors:o, 1:l} n


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


Date html generated: 2016_05_15-PM-04_02_41
Last ObjectModification: 2015_09_23-AM-07_46_04

Theory : general


Home Index