Nuprl Definition : names-deq
NamesDeq == IntDeq
Definitions occuring in Statement :
int-deq: IntDeq
Definitions occuring in definition :
int-deq: IntDeq
FDL editor aliases :
names-deq
Latex:
NamesDeq == IntDeq
Date html generated:
2016_05_18-AM-11_56_17
Last ObjectModification:
2015_10_13-PM-01_12_46
Theory : cubical!type!theory
Home
Index