Nuprl Definition : cc-m4
q4 == (q3)p
Definitions occuring in Statement :
cc-m3: q3,
cc-fst: p,
csm-ap-term: (t)s
Definitions occuring in definition :
cc-m3: q3,
cc-fst: p,
csm-ap-term: (t)s
FDL editor aliases :
cc-m4
Latex:
q4 == (q3)p
Date html generated:
2017_01_09-AM-09_14_18
Last ObjectModification:
2016_12_16-AM-11_21_18
Theory : cubical!type!theory
Home
Index