forgetting hypothesis definition

Stream: Is there code for X?

[Timothy Gu]

:wave: Is there an easy tactic to forget the definition of a hypothesis? Suppose I have h : ℕ := 0 in the proof state but I'd like it to become just h : ℕ. I've been using generalize : h = h, which works but seems a little clunky. (This is in Lean 3.)

[Reid Barton]

tactic#clear_value

[Timothy Gu]

Thanks!