Documentation

Mathlib.Tactic.Clear_

clear_ tactic #

source
🔸 coverage
def Mathlib.Tactic.clear_ :
Lean.ParserDescr

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

Instances For