is mentioned by
![]() Thm* ( ![]() ![]() Thm* ( ![]() ![]() ![]() ![]() Thm* = Thm* ext{sfa_doc_find_small_greater_bound} Thm* ![]() ![]() ![]() ![]() ![]() ![]() ![]() | [sfa_doc_find_small_greater_bound_extr_eq] |
![]() Thm* = Thm* ext{sfa_doc_find_greater_bound_stupidly} Thm* ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | [sfa_doc_find_greater_bound_stupidly_extr_eq] |
![]() ![]() ![]() ![]() | [sfa_doc_find_intlist_great_bound] |
![]() ![]() ![]() ![]() ![]() ![]() ![]() | [sfa_doc_find_greater_bound_stupidly] |
![]() ![]() ![]() ![]() ![]() ![]() | [sfa_doc_find_small_greater_bound] |
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html