Documentation

Mathlib.Tactic.Clear_

clear_ tactic #

source
def Mathlib.Tactic.clear_ :
Lean.ParserDescr

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

Instances For