The clear* tactic #
This file provides a variant of the clear tactic, which clears all hypotheses it can
besides a provided list.
Clears all hypotheses it can, except those provided after a minus sign. Example:
clear * - h₁ h₂
Equations
- One or more equations did not get rendered due to their size.