Nuprl Definition : dM-deq
dM-deq(I) == free-dml-deq(names(I);NamesDeq)
Definitions occuring in Statement :
names-deq: NamesDeq,
names: names(I),
free-dml-deq: free-dml-deq(T;eq)
Definitions occuring in definition :
free-dml-deq: free-dml-deq(T;eq),
names: names(I),
names-deq: NamesDeq
FDL editor aliases :
dM-deq
Latex:
dM-deq(I) == free-dml-deq(names(I);NamesDeq)
Date html generated:
2016_05_18-AM-11_56_27
Last ObjectModification:
2015_11_10-AM-10_56_46
Theory : cubical!type!theory
Home
Index