Nuprl Definition : cname_deq
CnameDeq == IntDeq
Definitions occuring in Statement :
int-deq: IntDeq
FDL editor aliases :
cname_deq
Latex:
CnameDeq == IntDeq
Date html generated:
2016_05_20-AM-09_27_56
Last ObjectModification:
2015_09_23-AM-09_29_23
Theory : cubical!sets
Home
Index