Nuprl Definition : free-dma-lift

free-dma-lift(T;eq;dm;eq2;f) ==  TERMOF{free-DeMorgan-algebra-property:o, 1:l, 1:l} T eq dm eq2 f


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a,  free-DeMorgan-algebra-property
TermOfs occuring in Definition :  free-DeMorgan-algebra-property
FDL editor aliases :  free-dma-lift
Latex:
free-dma-lift(T;eq;dm;eq2;f)  ==    TERMOF\{free-DeMorgan-algebra-property:o,  1:l,  1:l\}  T  eq  dm  eq2  f


Date html generated: 2020_05_20-AM-08_56_49
Last ObjectModification: 2015_10_13-PM-05_19_19

Theory : lattices


Home Index