forgetting a hypothesis

Stream: Is there code for X?

[Mark Andrew Gerads]

I tend to use have when proving lemmas, but it makes the tactic state cluttered. I would like a way to 'forget' a hypothesis after I have used it, to make the tactic state cleaner.

[Damiano Testa]

tactic#clear