In Project(s) select all invert selection
Help
Did you mean (for packages): put_lemma put_lemmas update_lemma id_lemma get_lemmas
Your search defs:_put_lemma did not match any files. Suggestions: