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₂
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₂