Documentation

Mathlib.Tactic.ClearExcept

source
def Lean.Elab.Tactic.clearExcept :
Lean.ParserDescr

Clears all hypotheses it can besides those provided

Instances For