Nuprl Definition : mk-distributive-lattice
mk-distributive-lattice(T; m; j) == mk-lattice(T;m;j)
Definitions occuring in Statement :
mk-lattice: mk-lattice(T;m;j)
Definitions occuring in definition :
mk-lattice: mk-lattice(T;m;j)
Latex:
mk-distributive-lattice(T; m; j) == mk-lattice(T;m;j)
Date html generated:
2016_05_18-AM-11_21_16
Last ObjectModification:
2015_10_06-PM-01_45_30
Theory : lattices
Home
Index