is mentioned by
[qmul_dist_over_qadd] | |
[qmul_com] | |
[qadd_com] | |
[qadd_assoc] | |
[qmul_assoc] | |
[qmul_functionality] | |
[qadd_functionality] | |
[eq_rat_trans] | |
[eq_rat_sym] | |
[eq_rat_refl] |
Try larger context:
StandardLIB
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html