Documentation

Mathlib.Tactic.Clear_

clear_ tactic #

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

Equations
Instances For