Nuprl Definition : fl-lift

fl-lift(T;eq;L;eqL;f0;f1) ==  TERMOF{face-lattice-property:o, 1:l, 1:l} T eq L eqL f0 f1


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a,  face-lattice-property
TermOfs occuring in Definition :  face-lattice-property
FDL editor aliases :  fl-lift
Latex:
fl-lift(T;eq;L;eqL;f0;f1)  ==    TERMOF\{face-lattice-property:o,  1:l,  1:l\}  T  eq  L  eqL  f0  f1


Date html generated: 2020_05_20-AM-08_53_09
Last ObjectModification: 2015_10_14-PM-09_16_17

Theory : lattices


Home Index