ElisTarskiPf A Sections NuprlLIB Doc

Def closed(t) == s,v:Term. t[s/v] = t

is mentioned by

Thm* t:Term. closed(t)[up_term_closed]


ElisTarskiPf A Sections NuprlLIB Doc