Find theorems in Mathlib4 using natural language query
Tip: Query Augmentation augments your query to increase the chance to find relevant results.