Nuprl Definition : face_lattice
face_lattice(I) == face-lattice(names(I);NamesDeq)
Definitions occuring in Statement :
names-deq: NamesDeq,
names: names(I),
face-lattice: face-lattice(T;eq)
Definitions occuring in definition :
face-lattice: face-lattice(T;eq),
names: names(I),
names-deq: NamesDeq
FDL editor aliases :
face_lattice
Latex:
face\_lattice(I) == face-lattice(names(I);NamesDeq)
Date html generated:
2016_05_18-PM-00_09_02
Last ObjectModification:
2015_10_13-PM-03_40_35
Theory : cubical!type!theory
Home
Index