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: 2020_05_20-AM-08_54_13
Last ObjectModification: 2015_10_12-PM-04_21_20

Theory : lattices


Home Index