Nuprl Definition : varname
varname() == Atom ⋃ (Atom × ℕ)
Definitions occuring in Statement :
nat: ℕ,
b-union: A ⋃ B,
product: x:A × B[x],
atom: Atom
Definitions occuring in definition :
b-union: A ⋃ B,
product: x:A × B[x],
atom: Atom,
nat: ℕ
FDL editor aliases :
varname
Latex:
varname() == Atom \mcup{} (Atom \mtimes{} \mBbbN{})
Date html generated:
2020_05_19-PM-09_52_55
Last ObjectModification:
2020_03_09-PM-04_17_02
Theory : terms
Home
Index