Nuprl Definition : lg-nil

lg-nil() == []

Definitions occuring in Statement : nil: []
FDL editor aliases : lg-nil

Latex:
lg-nil() == [] Date html generated: 2015_07_22-PM-00_27_31 Last ObjectModification: 2012_02_25-PM-03_33_35 Home Index