Nuprl Definition : dM
dM(I) == free-DeMorgan-algebra(names(I);NamesDeq)
Definitions occuring in Statement :
names-deq: NamesDeq,
names: names(I),
free-DeMorgan-algebra: free-DeMorgan-algebra(T;eq)
Definitions occuring in definition :
free-DeMorgan-algebra: free-DeMorgan-algebra(T;eq),
names: names(I),
names-deq: NamesDeq
FDL editor aliases :
dM
Latex:
dM(I) == free-DeMorgan-algebra(names(I);NamesDeq)
Date html generated:
2016_05_18-AM-11_56_20
Last ObjectModification:
2015_10_13-PM-01_14_06
Theory : cubical!type!theory
Home
Index