Origin
Definitions
Sections
ClassicalProps(jlc)
Doc
var_jlc
Nuprl Section: var_jlc
Selected Objects
def
Var
Var == Atom
THM
Var_inc_atom
Var
Atom
THM
discrete__Var
Discrete{Var}
THM
decidable__equal_Var
u,v:Var. Dec(u = v)
Origin
Definitions
Sections
ClassicalProps(jlc)
Doc
Atom
u,v:Var. Dec(u = v) Atomu,v:Var. Dec(u = v)