WhoCites Definitions ElisTarskiPf B Sections NuprlLIB Doc

Who Cites term closed?
term_closedDef closed(t) == s,v:Term. t[s/v] = t
Thm* t:Term. closed(t) Prop

Syntax:closed(t) has structure: term_closed(t)

About:
equalmemberpropall!abstraction

WhoCites Definitions ElisTarskiPf B Sections NuprlLIB Doc