mathlib

d11eb847 - fix(tactic/suggest): properly remove "Try this: exact " prefix from library_search hole command (#4609)

fix(tactic/suggest): properly remove "Try this: exact " prefix from library_search hole command (#4609) [See Zulip](https://leanprover.zulipchat.com/#narrow/stream/113489-new-members/topic/mechanisms.20to.20search.20through.20mathlilb/near/213223321)