WhoCites Definitions ElisTarskiPf B Sections NuprlLIB Doc

Who Cites f?
fDef f(t) == SUBX(q(t); SUBX(X; Q(X)))
Thm* t:Term. f(t) Term

About:
memberall!abstraction

WhoCites Definitions ElisTarskiPf B Sections NuprlLIB Doc