Commit 2023-12-02 00:33 c72f4d06

fix: nonspecific lemmas are poisoning apply? (#8764) I would like to include the "nonspecific" lemmas in the results, but it will need more work (making sure they come after more specific results, and that they don't slow down output).