clear_ tactic

def Mathlib.Tactic.clear_ : Lean.ParserDescr

Clear all hypotheses starting with _, like _match and _let_match.

Equations

• Mathlib.Tactic.clear_ = Lean.ParserDescr.node `Mathlib.Tactic.clear_ 1024 (Lean.ParserDescr.nonReservedSymbol "clear_" false)