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