Nuprl Definition : mk-general-bounded-dist-lattice
mk-general-bounded-dist-lattice(T;m;j;z;o;E) == mk-general-bounded-lattice(T;m;j;z;o;E)
Definitions occuring in Statement :
mk-general-bounded-lattice: mk-general-bounded-lattice(T;m;j;z;o;E)
Definitions occuring in definition :
mk-general-bounded-lattice: mk-general-bounded-lattice(T;m;j;z;o;E)
FDL editor aliases :
mk-general-bounded-dist-lattice
Latex:
mk-general-bounded-dist-lattice(T;m;j;z;o;E) == mk-general-bounded-lattice(T;m;j;z;o;E)
Date html generated:
2016_05_18-AM-11_51_31
Last ObjectModification:
2015_10_16-PM-04_44_18
Theory : lattices
Home
Index