loogle-search

Search Mathlib for lemmas by type signature pattern using Loogle.