Nuprl Definition : face-lattice1

(x=1) ==  {{inr x }}


Definitions occuring in Statement :  fset-singleton: {x},  inr: inr x 
Definitions occuring in definition :  fset-singleton: {x},  inr: inr x 
FDL editor aliases :  fl1
Latex:
(x=1)  ==    \{\{inr  x  \}\}


Date html generated: 2020_05_20-AM-08_50_55
Last ObjectModification: 2017_01_24-AM-11_07_07

Theory : lattices


Home Index