Nuprl Definition : partial-term-1
u[1] ==  (u)[1(𝕀)]
Definitions occuring in Statement : 
interval-1: 1(𝕀)
, 
csm-id-adjoin: [u]
, 
csm-ap-term: (t)s
Definitions occuring in definition : 
csm-ap-term: (t)s
, 
csm-id-adjoin: [u]
, 
interval-1: 1(𝕀)
FDL editor aliases : 
partial-term-1
Latex:
u[1]  ==    (u)[1(\mBbbI{})]
Date html generated:
2016_05_19-AM-08_39_56
Last ObjectModification:
2016_04_04-PM-07_12_20
Theory : cubical!type!theory
Home
Index