Piotr Rudnicki wrote: > > Hello: > > I cannot find the prime factorization theorem for natural numbers in MML. > Is it there anywhere? Is someone working on it? As far as I know, the answer is "no" for both questions. Andrzej Trybulec