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