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:
2016_05_14-PM-03_25_08
Last ObjectModification:
2015_09_22-PM-05_59_40
Theory : decidable!equality
Home
Index