WhoCites Definitions ElisTarskiPf A Sections NuprlLIB Doc

Who Cites subx?
subxDef SUBX(t; e) == t[e/X]
Thm* t,r:Term. SUBX(t; r) Term

Syntax:SUBX(t; e) has structure: subx(t; e)

About:
memberall!abstraction

WhoCites Definitions ElisTarskiPf A Sections NuprlLIB Doc