Nuprl Definition : singleton-center
singleton-center(X;a) == cubical-pair(a;refl(a))
Definitions occuring in Statement :
cubical-refl: refl(a),
cubical-pair: cubical-pair(u;v)
Definitions occuring in definition :
cubical-pair: cubical-pair(u;v),
cubical-refl: refl(a)
FDL editor aliases :
singleton-center
Latex:
singleton-center(X;a) == cubical-pair(a;refl(a))
Date html generated:
2018_05_23-AM-09_44_46
Last ObjectModification:
2017_11_07-PM-04_37_53
Theory : cubical!type!theory
Home
Index