Find theorems faster in mathlib4 with Moogle.