I just tried the new version looking for "cramer". Unfortunately, only the first 5 results contain the string "cramer", but the following neither contain that sting exactly, nor something similar (or what is similar to "cramer" in the entry for theorem "imp"?).
On opening the "strange looking" entries, however, I guess why it is found: the theorem imp, for example, is used in the proofs of theorems cramerimplem1 <https://metamathsearch.herokuapp.com/cramerimplem1.html> cramerimplem2 <https://metamathsearch.herokuapp.com/cramerimplem2.html> cramer <https://metamathsearch.herokuapp.com/cramer.html>! Maybe the search criteria and the sources of the search should be described at the top of the page, so that it is clear for everybody why certain results are shown. -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/97039398-1ea6-423e-8624-d89430a8187a%40googlegroups.com.
