Nuprl Definition : interval-rev
1-(r) == λI,rho. ¬(r(rho))
Definitions occuring in Statement :
cubical-term-at: u(a),
dM: dM(I),
dma-neg: ¬(x),
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
dma-neg: ¬(x),
dM: dM(I),
cubical-term-at: u(a)
FDL editor aliases :
interval-rev
Latex:
1-(r) == \mlambda{}I,rho. \mneg{}(r(rho))
Date html generated:
2016_05_18-PM-02_00_45
Last ObjectModification:
2016_03_03-PM-03_04_04
Theory : cubical!type!theory
Home
Index