Nuprl Definition : l-union-list

l-union-list(eq;ll) ==  rec-case(ll) of [] => [] l1::l2 => r.r ⋃ l1



Definitions occuring in Statement :  l-union: as ⋃ bs list_ind: list_ind nil: []
Definitions occuring in definition :  list_ind: list_ind nil: [] l-union: as ⋃ bs
FDL editor aliases :  l-union-list

Latex:
l-union-list(eq;ll)  ==    rec-case(ll)  of  []  =>  []  |  l1::l2  =>  r.r  \mcup{}  l1



Date html generated: 2020_05_19-PM-09_51_17
Last ObjectModification: 2020_01_27-AM-11_58_28

Theory : list_1


Home Index