Nuprl Definition : rat-complex-boundary
∂(K) == rat-cube-sub-complex(λf.in-complex-boundary(k;f;K);face-complex(k;K))
Definitions occuring in Statement :
in-complex-boundary: in-complex-boundary(k;f;K),
face-complex: face-complex(k;L),
rat-cube-sub-complex: rat-cube-sub-complex(P;L),
lambda: λx.A[x]
Definitions occuring in definition :
face-complex: face-complex(k;L),
in-complex-boundary: in-complex-boundary(k;f;K),
lambda: λx.A[x],
rat-cube-sub-complex: rat-cube-sub-complex(P;L)
FDL editor aliases :
rat-complex-boundary
rat-complex-boundary
Latex:
\mpartial{}(K) == rat-cube-sub-complex(\mlambda{}f.in-complex-boundary(k;f;K);face-complex(k;K))
Date html generated:
2019_10_29-AM-07_58_16
Last ObjectModification:
2019_10_19-AM-11_08_06
Theory : rationals
Home
Index