is mentioned by
![]() ![]() ![]() ![]() | [complete_intseg_mset] |
Def == if u= ![]() ![]() ![]() ![]() ![]() ![]() ![]() | [split_factor1] |
Def == if u= ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | [split_factor2] |
![]() ![]() | [reduce_factorization] |
![]() ![]() | [trivial_factorization] |
![]() | [prime_mset_complete] |
In prior sections: bool 1 LogicSupplement int 2 num thy 1 IteratedBinops
Try larger context:
DiscrMathExt
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html