Item:Q8287: Difference between revisions
Created a new Item: disjoint union, modified union operation that indexes the elements according to which set they originated in |
(No difference)
|
Created a new Item: disjoint union, modified union operation that indexes the elements according to which set they originated in |
(No difference)
|