WhoCites Definitions ElisTarskiPf B Sections NuprlLIB Doc

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

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

About:
memberall!abstraction

WhoCites Definitions ElisTarskiPf B Sections NuprlLIB Doc