Mathlib.Tactic.Clear_
source
clear_
Clear all hypotheses starting with _, like _match and _let_match.
_
_match
_let_match