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