Nuprl Definition : eq-cname

eq-cname(x;y) ==  CnameDeq x y


Definitions occuring in Statement :  cname_deq: CnameDeq,  apply: f a
Definitions occuring in definition :  apply: f a,  cname_deq: CnameDeq
FDL editor aliases :  eq-cname
Latex:
eq-cname(x;y)  ==    CnameDeq  x  y


Date html generated: 2016_05_20-AM-09_27_58
Last ObjectModification: 2015_09_23-AM-09_29_23

Theory : cubical!sets


Home Index