Nuprl Definition : lattice-extend-wc

lattice-extend-wc(L;eq;eqL;f;ac) ==  lattice-extend(L;eq;eqL;f;ac)


Definitions occuring in Statement :  lattice-extend: lattice-extend(L;eq;eqL;f;ac)
Definitions occuring in definition :  lattice-extend: lattice-extend(L;eq;eqL;f;ac)
FDL editor aliases :  lattice-extend-wc
Latex:
lattice-extend-wc(L;eq;eqL;f;ac)  ==    lattice-extend(L;eq;eqL;f;ac)


Date html generated: 2020_05_20-AM-08_48_53
Last ObjectModification: 2015_10_07-AM-11_48_08

Theory : lattices


Home Index