prepositions in `variable` not found

Stream: new members

[Jafar Tanoukhi]

variable (a b : Nat) (h1 : a = b)

theorem test : a = b := h1

unknown identifier 'h1'

but when written as :

example : a = b := h1

work perfectly fine

[Kyle Miller]

#new members > Variable inclusion defs vs. theorems @ 💬