Nuprl Definition : dminc

<i> ==  free-dl-inc(inl i)


Definitions occuring in Statement :  free-dl-inc: free-dl-inc(x),  inl: inl x
Definitions occuring in definition :  free-dl-inc: free-dl-inc(x),  inl: inl x
FDL editor aliases :  dminc
Latex:
<i>  ==    free-dl-inc(inl  i)


Date html generated: 2020_05_20-AM-08_54_06
Last ObjectModification: 2015_10_12-PM-04_17_46

Theory : lattices


Home Index