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