Documentation

Mathlib.Tactic.ClearExcept

Clears all hypotheses it can besides those provided

Instances For