Nuprl Definition : face-lattice0

(x=0) ==  {{inl x}}


Definitions occuring in Statement :  fset-singleton: {x},  inl: inl x
Definitions occuring in definition :  fset-singleton: {x},  inl: inl x
FDL editor aliases :  fl0
Latex:
(x=0)  ==    \{\{inl  x\}\}


Date html generated: 2020_05_20-AM-08_50_44
Last ObjectModification: 2015_10_09-PM-06_44_37

Theory : lattices


Home Index