Commit 2023-03-15 00:24 8be9b2d4

feat: speed up library_search by discarding lemma with non-specific discrimination keys. (#2888) As discussed on zulip. This results in a 3-4x speed-up in the test file. (After allowing for building the cache, which is still slow.)