Find Mathlib lemmas by the types you need.
Recent revisions are kept. Restoring one creates a new revision.
