command

Stream: new members

[Alex Zhang]

suppose I have declared a proposition
variable (h :...)
If then I want to use it in some theorem say
theorem thm ... which don't have h in the statement.
I remember that there is a trick which is to put something before theorem thm ... to include h, but I forgot the details.
Could anyone remind me what the trick is?

[Anne Baanen]

include h (and to go back, omit h)

[Alex Zhang]

(deleted)