Nuprl Definition : free-dl-generator

free-dl-generator(x) ==  [[x]]


Definitions occuring in Statement :  cons: [a / b],  nil: []
Definitions occuring in definition :  cons: [a / b],  nil: []
FDL editor aliases :  free-dl-generator
Latex:
free-dl-generator(x)  ==    [[x]]


Date html generated: 2020_05_20-AM-08_27_32
Last ObjectModification: 2017_01_22-PM-07_45_30

Theory : lattices


Home Index