is mentioned by
![]() Thm* ![]() ![]() ![]() ![]() ![]() Thm* n = ![]() ![]() ![]() | [prime_factorization_exists] |
![]() ![]() ![]() ![]() ![]() ![]() Thm* 2 ![]() Thm* ![]() ![]() Thm* ( ![]() ![]() ![]() ![]() ![]() ![]() ![]() Thm* ![]() ![]() Thm* ( ![]() ![]() ![]() ![]() ![]() Thm* ( ![]() ![]() ![]() ![]() ![]() ![]() | [prime_factorization_existsLEMMA] |
![]() ![]() ![]() ![]() ![]() ![]() Thm* ![]() Thm* ![]() ![]() Thm* ( ![]() ![]() ![]() ![]() ![]() Thm* ( ![]() ![]() ![]() ![]() ![]() ![]() Thm* (& g'(z) = 0 Thm* (& ( ![]() ![]() ![]() ![]() | [can_reduce_composite_factor2] |
![]() ![]() ![]() ![]() ![]() ![]() Thm* x ![]() Thm* ![]() ![]() Thm* ( ![]() ![]() ![]() ![]() ![]() Thm* ( ![]() ![]() ![]() ![]() ![]() ![]() Thm* (& h(x ![]() Thm* (& ( ![]() ![]() ![]() ![]() ![]() | [can_reduce_composite_factor] |
![]() ![]() ![]() ![]() ![]() ![]() Thm* x ![]() Thm* ![]() ![]() Thm* ![]() ![]() ![]() ![]() ![]() ![]() Thm* & split_factor1(g; x)(x ![]() Thm* & ( ![]() ![]() ![]() ![]() ![]() | [split_factor1_char] |
![]() ![]() ![]() ![]() ![]() ![]() Thm* x ![]() Thm* ![]() ![]() Thm* x<y Thm* ![]() ![]() Thm* ![]() ![]() ![]() ![]() ![]() ![]() Thm* & split_factor2(g; x; y)(x ![]() Thm* & ( ![]() ![]() ![]() ![]() ![]() | [split_factor2_char] |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | [prime_divs_exp] |
Def == ( ![]() ![]() ![]() ![]() ![]() ![]() ![]() | [prime_factorization_of] |
In prior sections: core int 1 bool 1 LogicSupplement int 2 num thy 1 SimpleMulFacts IteratedBinops rel 1
Try larger context:
DiscrMathExt
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html