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