WhoCites Definitions ElisTarskiPf A Sections NuprlLIB Doc

Who Cites reps?
repsDef x = y == x t & x = y t
Thm* t:(u Term), x:u. (t = x) Prop
Thm* t,x:Term. (t = x) Prop

Syntax:x = y has structure: reps(t; x; y)

About:
universeequalmemberpropall!abstraction

WhoCites Definitions ElisTarskiPf A Sections NuprlLIB Doc