Nuprl Definition : dmopp
<1-i> == free-dl-inc(inr i )
Definitions occuring in Statement :
free-dl-inc: free-dl-inc(x)
,
inr: inr x
Definitions occuring in definition :
free-dl-inc: free-dl-inc(x)
,
inr: inr x
FDL editor aliases :
dmopp
Latex:
ə-i> == free-dl-inc(inr i )
Date html generated:
2016_05_18-AM-11_44_54
Last ObjectModification:
2015_10_12-PM-04_21_20
Theory : lattices
Home
Index