invariant declaration

[dsheets]

Should declarations of an SL symbol as 'invariant' without prior declaration of that symbol require a prior linked module to supply that symbol?