Nuprl Definition : cubical-refl
refl(a) == <>((a)p)
Definitions occuring in Statement :
term-to-path: <>(a),
cc-fst: p,
csm-ap-term: (t)s
Definitions occuring in definition :
term-to-path: <>(a),
csm-ap-term: (t)s,
cc-fst: p
FDL editor aliases :
cubical-refl
cubical-refl
cubical-refl
Latex:
refl(a) == <>((a)p)
Date html generated:
2016_06_16-PM-01_49_05
Last ObjectModification:
2016_06_03-AM-11_19_17
Theory : cubical!type!theory
Home
Index