is mentioned by
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() Thm* is_prime_factorization(a; b; f) Thm* ![]() ![]() Thm* prime(p) ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | [prime_factorization_includes_prime_divisors] |
In prior sections: LogicSupplement
Try larger context:
DiscrMathExt
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html