Nuprl Definition : cc-m2
q2 == (q)p
Definitions occuring in Statement :
cc-snd: q,
cc-fst: p,
csm-ap-term: (t)s
Definitions occuring in definition :
cc-snd: q,
cc-fst: p,
csm-ap-term: (t)s
FDL editor aliases :
cc-m2
Latex:
q2 == (q)p
Date html generated:
2017_01_09-AM-09_13_42
Last ObjectModification:
2016_12_16-AM-11_10_35
Theory : cubical!type!theory
Home
Index