Nuprl Definition : A-adjacent-compatible
A-adjacent-compatible(X;A;I;alpha;L) == (∀f1,f2∈L. A-face-compatible(X;A;I;alpha;f1;f2))
Definitions occuring in Statement :
A-face-compatible: A-face-compatible(X;A;I;alpha;f1;f2),
pairwise: (∀x,y∈L. P[x; y])
Definitions occuring in definition :
pairwise: (∀x,y∈L. P[x; y]),
A-face-compatible: A-face-compatible(X;A;I;alpha;f1;f2)
FDL editor aliases :
A-adjacent-compatible
Latex:
A-adjacent-compatible(X;A;I;alpha;L) == (\mforall{}f1,f2\mmember{}L. A-face-compatible(X;A;I;alpha;f1;f2))
Date html generated:
2016_06_16-PM-05_50_28
Last ObjectModification:
2015_09_23-AM-09_31_24
Theory : cubical!sets
Home
Index